50+ AI agents that audit codebases for security, architecture, testing and documentation issues
☆32Apr 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.☆26Mar 15, 2026Updated 4 months ago
- Deploy AI agents to dedicated VMs in 90 seconds. Interactive TUI. Automatic DNS and TLS. You own the infrastructure.☆40Jun 15, 2026Updated last month
- A Streamlit web application to manage and automate GitHub Copilot development workflows☆16Jan 22, 2026Updated 6 months ago
- OCaml bindings to the number theory library PARI/GP☆12Jan 11, 2025Updated last year
- ☆11Sep 10, 2024Updated 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.
- 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
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- ☆50Mar 2, 2026Updated 5 months ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Mar 26, 2026Updated 4 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
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 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.
- Synthesis of Formally Verified Cryptographic Primitives☆15Jul 1, 2026Updated last month
- 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
- 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 5 years ago
- A modular, extensible, fast, ultra-lightweight PHP autoloader with inbuilt caching☆16Jul 17, 2019Updated 7 years ago
- Sandboxed bash for agents. Track changes on every command.☆15May 16, 2026Updated 2 months ago
- ☆17Feb 25, 2015Updated 11 years ago
- Script for an automated build of an OS X Casper Distribution Point☆16Nov 10, 2015Updated 10 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.
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 years ago
- Shareable Scripts for use in a Mac Support Environment☆14Oct 18, 2019Updated 6 years ago
- This allows Guacamole authentication to be sent to a custom HTTP back-end☆16Jul 18, 2023Updated 3 years ago
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 6 years ago
- A Blueprint-inspired PowerShell Module for Puppet on Windows - Windows Hackday 2016☆12Feb 4, 2025Updated last year
- A tool for encouraging the installation of macOS security updates.☆15Feb 12, 2025Updated last year
- VMware vCenter management☆15Dec 20, 2014Updated 11 years ago
- ☆17Nov 23, 2025Updated 8 months ago
- ☆20Updated this week
- Managed Kubernetes at scale on DigitalOcean • AdDigitalOcean Kubernetes includes the control plane, bandwidth allowance, container registry, automatic updates, and more for free.
- Claude Pulse is a real-time metrics and export dashboard for your Claude conversations on claude.ai, giving you live insight into tokens,…☆37Jul 11, 2026Updated last month
- A FastAPI-powered workflow orchestration system that integrates LangGraph to design, run, and manage AI Agents workflows☆37Jun 2, 2026Updated 2 months ago
- AWS Big Brother is a tool to analyse IAM users☆13Jan 21, 2019Updated 7 years ago
- Tiny verified SAT-solver☆30Jan 7, 2022Updated 4 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
- Example of using Behat with helper services shared across contexts☆11Dec 16, 2016Updated 9 years ago
- Btsync (bittorrent sync) API for Bash users :)☆19Aug 18, 2018Updated 7 years ago