A trustless MCP server that replaces the generic shell tool with validated, sandboxed, purpose-built execution tools for AI coding agents.
☆15Apr 13, 2026Updated 5 months ago
Alternatives and similar repositories for mithril
Users that are interested in mithril are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆10Oct 21, 2021Updated 4 years ago
- Mapping intelligence for enterprise data migrations: schema mapping, lineage, and transformation traceability that compounds across every…☆15May 7, 2026Updated 5 months ago
- Living hell☆59Feb 21, 2025Updated last year
- Vyřešené maturitní otázky pro obor IT na SPŠE Pardubice.☆16Jun 27, 2023Updated 3 years ago
- Analyzes code changes via the Gemini API with a structured review prompt, then posts severity-classified findings as GitLab MR notes.☆20Feb 16, 2026Updated 7 months ago
- Deploy to Railway using AI coding agents - Free Credits Offer • AdUse Claude Code, Codex, OpenCode, and more. Autonomous software development now has the infrastructure to match with Railway.
- CLI for searching webshare and opening media content in various media players☆11Jun 29, 2024Updated 2 years ago
- ZXCVBN Password Strength Estimation with Czech or Slovak Dictionaries☆16Jun 14, 2017Updated 9 years ago
- Graphical interface for @hasan-hasanov's ScoopBox: configure & launch Windows Sandbox.☆16Jun 27, 2022Updated 4 years ago
- Converts a flat tree to a string☆14Oct 23, 2024Updated last year
- [Closed] geckodriver Docker image☆23Apr 14, 2026Updated 5 months ago
- Automatic Spotify to Deezer playlist updater, and deemix track downloader. Only a placeholder repo - all the code can be found on the Git…☆15Sep 8, 2026Updated last month
- vpsFree.cz cluster configuration☆22Updated this week
- Meet Rustacean GPT, an experimental project transforming OpenAi's GPT into a helpful, autonomous software engineer to support senior deve…☆13May 10, 2023Updated 3 years ago
- POC of a SPA that can be used for filtering items by categories and/or by zooming and panning in a map☆10Sep 3, 2020Updated 6 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 🐾 Complete REST API for ClawHub skills marketplace data☆16Apr 6, 2026Updated 6 months ago
- Libraries for Google Apps Scripts☆11Feb 22, 2026Updated 7 months ago
- Makes context oriented functions easily usable via `|>` pipeline operator.☆16Aug 2, 2018Updated 8 years ago
- Smart Rust LOC counter, distinguising code, examples, tests and doc comments☆31Apr 19, 2026Updated 5 months ago
- Rust Memory Hypervisor implementing asynchronous metadata offloading, hardware-enforced spatial safety, and virtual memory page compactio…☆14Apr 2, 2026Updated 6 months ago
- An asynchronous, persistent, localForage inspired, filesystem based storage solution for NodeJS.☆14May 2, 2020Updated 6 years ago
- ⛴️ View installed agents, skills, commands from Claude Code☆20Apr 7, 2026Updated 6 months ago
- presentation for jsday verona☆10Jun 8, 2017Updated 9 years ago
- Sandboxed code execution for LLMs, powered by Nix☆16Jul 23, 2026Updated 2 months ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- 🏦 Finance utility for Bitstamp☆14Sep 10, 2017Updated 9 years ago
- Lightweight social media monitoring tool built with Rust☆17Updated this week
- The world's first AI-native systems programming language. Zero keywords, pattern matching, UFC. Following Cursed Lang (first AI esoteric …☆16Jun 3, 2026Updated 4 months ago
- A kubernetes multi type authentication provider using webhook token auth☆17Jun 3, 2023Updated 3 years ago
- A web-based client for srcds RCON protocol. (CS:GO, Minecraft, etc.)☆23Oct 12, 2023Updated 2 years ago
- a lightning-fast, crash-proof search engine aggregator built in Rust. Focused on memory efficiency, safe character slicing, and high-per…☆17Oct 3, 2026Updated last week
- The ultimate desktop GUI app combining the convenience of Croc with the high speeds and resilience (across the network changes) features …☆16Oct 3, 2026Updated last week
- A lightweight, secure AI agent harness for your entire development lifecycle, fully written in Rust☆17Mar 3, 2026Updated 7 months ago
- Create GitHub Issues from Libraries.io webhooks☆12May 21, 2019Updated 7 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Decision orchestration and reconciliation for AI changes.☆44Mar 30, 2026Updated 6 months ago
- ☆18Jun 22, 2026Updated 3 months ago
- The staticland website☆10Jul 29, 2017Updated 9 years ago
- Build real software step-by-step with Claude, Codex, OpenCode, Gemini, Cursor, and other agents☆14Mar 29, 2026Updated 6 months ago
- The operating system for running software in production☆23Updated this week
- Simple but reliable memory allocator for embedded Rust and #![no_std]☆13Sep 19, 2024Updated 2 years ago
- A Box-like type in Rust that avoids allocations by storing small values in-place☆15Jun 15, 2025Updated last year