DeepAudit：人人拥有的 AI 黑客战队，让漏洞挖掘触手可及。国内首个开源的代码漏洞挖掘多智能体系统。小白一键部署运行，自主协作审计 + 自动化沙箱 PoC 验证。支持 Ollama 私有部署 ，一键生成报告。支持中转站。​让安全不再昂贵，让审计不再复杂。

Detect concurrency and memory bugs and possible panic locations in Rust projects

Adversarial AI bug hunter with auto-fix skill for Claude Code, Cursor, Codex CLI, GitHub Copilot CLI, Kiro CLI, Opencode, Pi Coding Agent, and more. Multi-agent pipeline finds security vulnerabilities, logic errors, and runtime bugs — then fixes them autonomously on a safe branch.

A Tool for clone detection and bug detection in smart contracts

AI-powered code analysis tool - instant bug detection, plain-English explanations, and improvement suggestions for Python, JS, TS, Java, C++. No account needed. GSSoC 2026.

OpenClaw skill: Dynamic bug audit for Node.js web projects (games, data tools, WeChat, APIs, bots). 200+ real-world pitfalls.

An automatic API misuse checker for C programs!

Bring free CodeRabbit AI code reviews into Neovim via the CLI

Bug detection and fixing using prompt engineering and fine-tuning with Llama 3 and a custom mutation-based dataset. Includes a user-friendly interface and performance evaluation metrics.

Bug detection and repair algorithm

Code of our paper "Method-Level Bug Severity Prediction using Source Code Metrics and LLMs" which is accepted to ISSRE 2023.

Prevent memory leaks and runtime crashes in .NET Dependency Injection. A zero-overhead Roslyn analyzer that catches captive dependencies, undisposed scopes, and lifetime mismatches at compile-time.

🤖 Simplify code reviews with XCodeReviewer, your smart partner for efficient and effective code audits in any development project.

Deep learning-based bug detector for IntelliJ

Deep learning project to detect logic bugs in source code.

Bug detectors for Golang

AI-powered GitHub repository analyzer that ingests full codebases, enables codebase-wide chat, detects bugs, and suggests optimizations using RAG (LangChain + FAISS + OpenRouter) with a Streamlit UI.

Logic-first AI code review via semi-formal execution tracing (Premises → Trace → Divergence → Trigger → Remedy). Catches behavioral bugs, type-contract breaches & async hazards that linters miss. Six skills · Claude Code · Codex CLI · Gemini CLI.