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:
- 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
- ☆11Sep 10, 2024Updated 2 years ago
- A PBT framework☆10Jul 19, 2025Updated last year
- 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
- 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.
- 🐺 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 3 weeks ago
- SSL certificate chain resolver☆11May 2, 2016Updated 10 years ago
- OCaml ctypes bindings to llama.cpp☆16Jan 23, 2024Updated 2 years ago
- Replication plugin for Sonatype Nexus☆10Jul 10, 2015Updated 11 years ago
- Prototype code for some Julia-OCaml bindings☆16Jan 3, 2021Updated 5 years ago
- Archived — rules ported to slopless (github.com/fabriziosalmi/slopless). Pinned versions keep working.☆23Sep 5, 2026Updated last month
- ☆11Oct 20, 2022Updated 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.
- Finite Fields and Curves in Lean☆14Apr 6, 2023Updated 3 years ago
- Synthesis of Formally Verified Cryptographic Primitives☆17Sep 17, 2026Updated 3 weeks ago
- OCaml bindings for OpenAI API☆19Feb 9, 2024Updated 2 years ago
- A Prometheus exporter for the Fully Jarvis standing desk☆15Sep 21, 2026Updated 3 weeks ago
- The Humanness Index: the open benchmark for how human voice AI sounds, built by Vapi. Blind same-voice battles, pure-vote Elo, with a rea…☆36Jul 31, 2026Updated 2 months ago
- Random Scripts for Sharing☆12Jun 2, 2020Updated 6 years ago
- Audit your vibecode and make it brutally solid :)☆28Sep 18, 2026Updated 3 weeks ago
- Auditing Applied Cryptography☆11Sep 26, 2019Updated 7 years ago
- export secrets to environment variables☆15Sep 23, 2022Updated 4 years ago
- AI Agents on DigitalOcean Gradient AI Platform • AdBuild production-ready AI agents using customizable tools or access multiple LLMs through a single endpoint. Create custom knowledge bases or connect external data.
- 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
- Community edition of Nightfall_4☆18Sep 24, 2026Updated 2 weeks ago
- A Jamf Pro webhook simulator☆14Jul 3, 2017Updated 9 years ago
- Packer scripts for building MacOS images for Anka☆15Sep 18, 2017Updated 9 years ago
- Take any Computer/Mobile Advanced Search in the JSS and publish it to Google Sheets☆13Oct 9, 2015Updated 11 years ago
- A tool to monitor ssl certificates expiration time☆18Sep 30, 2026Updated last week
- Script for an automated build of an OS X Casper Distribution Point☆16Nov 10, 2015Updated 10 years ago
- Shareable Scripts for use in a Mac Support Environment☆14Oct 18, 2019Updated 6 years ago
- Proton VPN Special Offer - Get 70% off • AdSpecial partner offer. Trusted by over 100 million users worldwide. Tested, Approved and Recommended by Experts.
- Cryptographic implementation conformance testing harness for ML-KEM and ML-DSA.☆19Jun 10, 2026Updated 4 months 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
- A simple dependently typed language based on the Calculus of Constructions.☆19Jul 31, 2020Updated 6 years ago
- Local browser toolkit for AI agents: deep research and browser use automation with local Chrome (CDP) + Playwright. Flexible, extensible …☆49Mar 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 Blueprint-inspired PowerShell Module for Puppet on Windows - Windows Hackday 2016☆12Feb 4, 2025Updated last year