50+ AI agents that audit codebases for security, architecture, testing and documentation issues
☆38Apr 4, 2026Updated 6 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 7 months ago
- An open-source template that turns your repo into an autonomous development team. Uses GitHub Actions and Claude to orchestrate AI agents…☆28Mar 19, 2026Updated 7 months ago
- Deploy AI agents to dedicated VMs in 90 seconds. Interactive TUI. Automatic DNS and TLS. You own the infrastructure.☆39Jun 15, 2026Updated 4 months ago
- ☆18Jul 30, 2026Updated 3 months ago
- A Streamlit web application to manage and automate GitHub Copilot development workflows☆16Jan 22, 2026Updated 9 months ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- rust binding for lean4☆11Jul 1, 2023Updated 3 years ago
- Daily Top 10 movies & TV from your streaming services, fed to Radarr/Sonarr (Seerr optional). TypeScript, deployable web GUI.☆14Oct 10, 2026Updated 3 weeks ago
- Codex instructions and native specialist agent profiles for delegating, verifying, and recovering local coding work. Part of the COREDO a…☆12Oct 26, 2026Updated last week
- Text based GTD on NeoVim.☆14Mar 8, 2025Updated last year
- A collection of opinionated skills for Codex, Claude Code, and other AI agents☆17Updated this week
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- Our solution for Go-Links. MIT License☆11Sep 15, 2026Updated last month
- Lean4 formalization of "A Simplified Round-by-round Soundness Proof of FRI"☆11Apr 1, 2026Updated 7 months ago
- A PBT framework☆10Jul 19, 2025Updated last year
- 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.
- INTMAX2 is a stateless Layer 2 protocol on Ethereum, combining privacy, speed, and true self-custody.☆12Jan 21, 2026Updated 9 months ago
- A Claude Code skill for clean, honest dashboard UI: KPI tiles, charts, date pickers, ranked lists, states, layouts and a screenshot QA pa…☆202Updated this week
- Formal verification tool for Noir programs using the Rocq system☆12May 28, 2025Updated last year
- Semantic search across your Claude conversation history using AI embeddings☆10Nov 7, 2025Updated 11 months ago
- SSL certificate chain resolver☆11May 2, 2016Updated 10 years ago
- Copy files, libraries, and pages between SharePoint Online site collections - preserving version history, metadata, and custom columns.☆16Updated this week
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 6 months ago
- Use [Multi]ple AI agents for code-review, verifying and questions☆24Oct 22, 2026Updated last week
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click. Zero configuration with optimized deployments.
- ☆12Dec 4, 2021Updated 4 years ago
- ☆20Aug 15, 2026Updated 2 months ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Development monorepo for Hex: verified computational algebra in Lean 4 (polynomial factoring, LLL, and friends). Released aggregate: http…☆22Updated this week
- 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
- 48 open reasoning methods for Claude, Codex and Antigravity. Check assumptions, compare options and revisit decisions. Instructions in 10…☆27Updated this week
- A Prometheus exporter for the Fully Jarvis standing desk☆15Updated this week
- Synthesis of Formally Verified Cryptographic Primitives☆18Updated this week
- Random Scripts for Sharing☆12Jun 2, 2020Updated 6 years ago
- Wordpress hosting with auto-scaling - Free Trial Offer • AdFully Managed hosting for WordPress and WooCommerce businesses that need reliable, auto-scalable performance. Cloudways SafeUpdates now available.
- AirWatchBuddy is a simple API companion app for VMware's AirWatch.☆11Sep 20, 2018Updated 8 years ago
- MCP-powered memory, policy, and experience layer for safer AI agents.☆12May 8, 2026Updated 5 months ago
- ☆15Oct 19, 2024Updated 2 years ago
- Oak is a lightweight macOS focus companion app with notch-based Pomodoro-style focus sessions and ambient audio.☆11Oct 26, 2026Updated last week
- Memory Ring v3.4.0 — Sovereign Identity Architecture☆14Aug 7, 2026Updated 2 months ago
- Auditing Applied Cryptography☆11Sep 26, 2019Updated 7 years ago
- ☆17Aug 29, 2026Updated 2 months ago