50+ AI agents that audit codebases for security, architecture, testing and documentation issues
☆36Apr 4, 2026Updated 5 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 6 months ago
- Deploy AI agents to dedicated VMs in 90 seconds. Interactive TUI. Automatic DNS and TLS. You own the infrastructure.☆39Jun 15, 2026Updated 3 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 6 months ago
- Plan and delegate work to a scalable team of AI agents.☆19Feb 8, 2026Updated 7 months ago
- ☆11Sep 10, 2024Updated 2 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.
- Proof-of-concept code for beating Google's ZK proof of quantum cryptanalysis☆16Apr 17, 2026Updated 5 months ago
- ☆13Jan 23, 2022Updated 4 years ago
- 🐺 Simple STARK verifier in cameligo☆11Jun 5, 2023Updated 3 years ago
- Program verification with F* course materials☆12Jul 6, 2019Updated 7 years ago
- Our solution for Go-Links. MIT License☆11Sep 15, 2026Updated last week
- SSL certificate chain resolver☆11May 2, 2016Updated 10 years ago
- Formal proof in Coq of Banach-Tarski paradox.☆19Sep 13, 2026Updated last week
- ☆76Sep 14, 2026Updated last week
- Replication plugin for Sonatype Nexus☆10Jul 10, 2015Updated 11 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.
- 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
- OCaml bindings for OpenAI API☆19Feb 9, 2024Updated 2 years ago
- Random Scripts for Sharing☆12Jun 2, 2020Updated 6 years ago
- Audit your vibecode and make it brutally solid :)☆27Updated this week
- Auditing Applied Cryptography☆11Sep 26, 2019Updated 6 years ago
- A modular, extensible, fast, ultra-lightweight PHP autoloader with inbuilt caching☆16Jul 17, 2019Updated 7 years ago
- ☆10Apr 26, 2026Updated 4 months ago
- Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.☆18Jun 10, 2026Updated 3 months 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.
- Sandboxed bash for agents. Track changes on every command.☆15May 16, 2026Updated 4 months ago
- A CLI in Rust to generate synthetic data for MLX friendly training☆25Jan 13, 2024Updated 2 years ago
- Manages dock for a specified account☆12May 11, 2022Updated 4 years ago
- A Jamf Pro webhook simulator☆14Jul 3, 2017Updated 9 years ago
- Take any Computer/Mobile Advanced Search in the JSS and publish it to Google Sheets☆13Oct 9, 2015Updated 10 years ago
- ☆17Feb 25, 2015Updated 11 years ago
- A tool to monitor ssl certificates expiration time☆18Aug 26, 2026Updated 3 weeks ago
- Script for an automated build of an OS X Casper Distribution Point☆16Nov 10, 2015Updated 10 years ago
- AWS EC2 Security Group Auditor Tool☆16Nov 21, 2017Updated 8 years ago
- GPU virtual machines on DigitalOcean Gradient AI • AdGet to production fast with high-performance AMD and NVIDIA GPUs you can spin up in seconds. The definition of operational simplicity.
- 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
- SNMP.yaml file for Prometheus' SNMP exporter to query Eaton's Network-MS series UPS management cards☆12May 9, 2019Updated 7 years ago
- Local browser toolkit for AI agents: deep research and browser use automation with local Chrome (CDP) + Playwright. Flexible, extensible …☆47Mar 14, 2026Updated 6 months ago
- Service that removes torrents from Sonarr if they haven't progressed in a set time period☆10Jun 5, 2022Updated 4 years ago
- A formalization of Shannon's seminal 1948 paper defining entropy.☆16Mar 2, 2026Updated 6 months ago
- A tool for encouraging the installation of macOS security updates.☆15Feb 12, 2025Updated last year