50+ AI agents that audit codebases for security, architecture, testing and documentation issues
☆31Apr 4, 2026Updated 3 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.☆26Mar 15, 2026Updated 4 months ago
- An open-source template that turns your repo into an autonomous development team. Uses GitHub Actions and Claude to orchestrate AI agents…☆24Mar 19, 2026Updated 4 months ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆11Sep 10, 2024Updated last year
- A collection of opinionated skills for Codex, Claude Code, and other AI agents☆17Updated this week
- Bare Metal GPUs on DigitalOcean Gradient AI • AdPurpose-built for serious AI teams training foundational models, running large-scale inference, and pushing the boundaries of what's possible.
- A PBT framework☆10Jul 19, 2025Updated last year
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆15Apr 17, 2026Updated 3 months ago
- ☆13Jan 23, 2022Updated 4 years ago
- Our solution for Go-Links. MIT License☆11May 18, 2026Updated 2 months ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 3 months ago
- OCaml ctypes bindings to llama.cpp☆16Jan 23, 2024Updated 2 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- Anti-slop CI/CD gatekeeper (GitHub action)☆22Jun 24, 2026Updated 3 weeks ago
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Managed hosting for WordPress and PHP on Cloudways • AdManaged hosting for WordPress, Magento, Laravel, or PHP apps, on multiple cloud providers. Deploy in minutes on Cloudways by DigitalOcean.
- AirWatchBuddy is a simple API companion app for VMware's AirWatch.☆11Sep 20, 2018Updated 7 years ago
- Audit your vibecode and make it brutally solid :)☆26Updated this week
- Auditing Applied Cryptography☆11Sep 26, 2019Updated 6 years ago
- Sandboxed bash for agents. Track changes on every command.☆15May 16, 2026Updated 2 months ago
- A CLI in Rust to generate synthetic data for MLX friendly training☆26Jan 13, 2024Updated 2 years ago
- Community edition of Nightfall_4☆18Jul 7, 2026Updated last week
- Manages dock for a specified account☆13May 11, 2022Updated 4 years ago
- A tool to monitor ssl certificates expiration time☆18Jun 26, 2026Updated 3 weeks ago
- SNMP.yaml file for Prometheus' SNMP exporter to query Eaton's Network-MS series UPS management cards☆12May 9, 2019Updated 7 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.
- Local browser toolkit for AI agents: deep research and browser use automation with local Chrome (CDP) + Playwright. Flexible, extensible …☆47Mar 14, 2026Updated 4 months ago
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 5 years ago
- Claude Pulse is a real-time metrics and export dashboard for your Claude conversations on claude.ai, giving you live insight into tokens,…☆34Jul 11, 2026Updated last week
- A formalization of Shannon's seminal 1948 paper defining entropy.☆16Mar 2, 2026Updated 4 months ago
- The cloud hygiene platform - including AI and GPU infrastructure☆118Jun 18, 2026Updated last month
- GraphRAG for code. Graph-first (not embeddings-first) code intelligence: 32 MCP tools, LSP bridge, CUDA-aware, 99%+ cheaper than traditio…☆21Apr 24, 2026Updated 2 months ago
- educational compiler for not (quite) toy languages☆21Apr 11, 2019Updated 7 years ago
- Grafana dashboards and setup for VMware ESXi☆16Sep 1, 2019Updated 6 years ago
- Mac App Update Management, via JAMFJSS☆14Feb 12, 2018Updated 8 years 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.
- A Quantum Computing Library in LEAN☆16Updated this week
- ☆16Nov 23, 2025Updated 7 months ago
- ☆19Jul 13, 2026Updated last week
- ☆13Feb 17, 2016Updated 10 years ago
- A dynamic multi-expert AI architecture running on a single consumer GPU (RTX 3060).☆36Dec 2, 2025Updated 7 months ago
- Monitor your uptime automagically with statuspage.io☆17May 17, 2016Updated 10 years ago
- Launch AI-native companies from natural language using Hermes + Paperclip☆32Apr 14, 2026Updated 3 months ago