Give your AI agent security superpowers
Connect Claude Code, Codex CLI, and other MCP-compatible clients to AuditHub’s blockchain security tools and audit data. Built by Veridise.
The AuditHub MCP gives your AI agent direct access to AuditHub. It reads smart contract audit findings, queries protocol context, and runs real DeFi and ZK security analysis from inside your terminal or IDE.
Read only by default. Mutations require explicit opt in.
Three things your agent couldn't do before
Read real audit data
Pull smart contract audit findings, issues, and protocol context from AuditHub. No more security advice invented from training data.
Run real security tools
Run DeFi static analysis and specification guided fuzzing on demand. Concrete evidence, not guesses.
Carry context forward
Findings, invariants, and protocol understanding persist. Your agent picks up where it left off.
Powered by the AuditHub security stack
The AuditHub MCP connects your agent to the same proprietary security tools Veridise uses on professional smart contract and ZK audits.
Smart Contract Security
Vanguard - Static Analysis
Technology:
Static analysis of smart contract semantics.
Detects:
Finds reentrancy across interacting contracts, locked funds that can’t be withdrawn, and unchecked function calls.
Customization:
Project-specific detectors via Vanguard’s query language.
OrCa - Specification-Guided Fuzzing
Technology:
Automated testing from formal [V] specs.
Detects:
Works by using your temporal-property specs to generate targeted tests, explore multi-contract edge cases, and return concrete counterexamples on violations.
Customization:
Catches complex protocol invariants unit tests miss.
Zero-Knowledge Security Tools
Picus - Formal Verification
Technology:
Automated formal verifier for ZK circuits
Proves that:
Provides mathematical proof that circuits are deterministic (same inputs always produce the same outputs), have no missing constraints, and behave as specified for all inputs.
Speed:
Verifies determinism in under 2 seconds.
ZK Vanguard - ZK Static Analysis
Technology:
Static analyzer for ZK vulnerabilities.
Detects:
Detects under-constrained signals (forgable values), private input leakage, non-deterministic witness code, unused subcomponents, witness–constraint mismatches, and integer issues like overflow, underflow, and precision loss.
Install the AuditHub MCP in minutes
Install via uv, then add the MCP to your agent’s config. Full configuration guide on GitHub.
Pair it with AuditHub Skills
AuditHub MCP gives your agent tools. Skills give it methodology. Add a Skill to Claude Code so your agent can review smart contracts, analyze DeFi protocols, and audit ZK circuits like a Veridise auditor.
Veridise / audithub-skills
Open source skills library for AI agents working with AuditHub. Smart contract audits, DeFi protocols, ZK circuits.
Bridge to AuditHub
The AuditHub MCP exposes a slice of the platform. The full AuditHub adds continuous CI integration, collaborative audit workflows, persistent security context across versions, and the formal verification capabilities used by professional blockchain security firms.