50+ AI agents that audit codebases for security, architecture, testing and documentation issues
☆34Apr 4, 2026Updated 4 months ago
Alternatives and similar repositories for ai-agents
Users that are interested in ai-agents are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- TitanClaw is OpenClaw & Iron inspired implementation in Rust focused on privacy and security upgraded to AGI Asisstant.☆25Mar 15, 2026Updated 5 months ago
- Deploy AI agents to dedicated VMs in 90 seconds. Interactive TUI. Automatic DNS and TLS. You own the infrastructure.☆39Jun 15, 2026Updated 2 months ago
- An open-source template that turns your repo into an autonomous development team. Uses GitHub Actions and Claude to orchestrate AI agents…☆27Mar 19, 2026Updated 5 months ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- A collection of opinionated skills for Codex, Claude Code, and other AI agents☆18Jul 20, 2026Updated last month
- End-to-end encrypted cloud storage - Proton Drive • AdSpecial offer: 40% Off Yearly / 80% Off First Month. Protect your most important files, photos, and documents from prying eyes.
- ☆11Sep 10, 2024Updated last year
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 4 months ago
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 3 years ago
- ☆50Mar 2, 2026Updated 6 months ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 5 months ago
- OCaml ctypes bindings to llama.cpp☆16Jan 23, 2024Updated 2 years ago
- Anti-slop CI/CD gatekeeper (GitHub action)☆23Jun 24, 2026Updated 2 months ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Synthesis of Formally Verified Cryptographic Primitives☆16Updated this week
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- OCaml bindings for OpenAI API☆19Feb 9, 2024Updated 2 years ago
- Calculus of Constructions Implementation☆17Dec 20, 2019Updated 6 years ago
- Proving shortest paths with recursive SNARKs☆15Mar 9, 2023Updated 3 years ago
- Audit your vibecode and make it brutally solid :)☆27Updated this week
- Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.☆18Jun 10, 2026Updated 2 months ago
- Sandboxed bash for agents. Track changes on every command.☆15May 16, 2026Updated 3 months ago
- A CLI in Rust to generate synthetic data for MLX friendly training☆25Jan 13, 2024Updated 2 years ago
- Community edition of Nightfall_4☆18Jul 7, 2026Updated last month
- Local browser toolkit for AI agents: deep research and browser use automation with local Chrome (CDP) + Playwright. Flexible, extensible …☆47Mar 14, 2026Updated 5 months ago
- Deploy on Railway without the complexity - Free Credits Offer • AdConnect your repo and Railway handles the rest with instant previews. Quickly provision container image services, databases, and storage volumes.
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 6 years ago
- A formalization of Shannon's seminal 1948 paper defining entropy.☆16Mar 2, 2026Updated 6 months ago
- educational compiler for not (quite) toy languages☆21Apr 11, 2019Updated 7 years ago
- Mac App Update Management, via JAMFJSS☆14Feb 12, 2018Updated 8 years ago
- A Quantum Computing Library in LEAN☆19Jul 14, 2026Updated last month
- ☆20Aug 11, 2026Updated 3 weeks ago
- Launch AI-native companies from natural language using Hermes + Paperclip☆33Apr 14, 2026Updated 4 months ago
- A FastAPI-powered workflow orchestration system that integrates LangGraph to design, run, and manage AI Agents workflows☆37Jun 2, 2026Updated 3 months ago
- A framework for extracting and formally verifying constraint systems from the Plonky3 zkDSL in Lean.☆17Jan 21, 2026Updated 7 months ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 years ago
- ☆10Jan 17, 2019Updated 7 years ago
- 🚀 Autonomous AI Research Engineer powered by MCP | Give it a task, watch it research the web, query your knowledge base, write & execute…☆17Feb 9, 2026Updated 6 months ago
- A powerful MCP testing tool with multi-provider LLM support (Ollama, OpenAI, Claude, Gemini). Test, debug, and develop MCP servers with a…☆18Apr 28, 2026Updated 4 months ago
- LeanEff is a small Lean 4 extensible-effects library☆21May 17, 2026Updated 3 months ago
- Compiler for a subset of the ML (really OCaml) language. LLVM is used as a backend.☆32Feb 22, 2021Updated 5 years ago
- Self hosted secure gateway for AI agents. One token. Full control. Complete audit trail.☆15Jun 10, 2026Updated 2 months ago