AuditHub is a blockchain security platform that provides continuous automated security for smart contracts and zero-knowledge circuits. Built by Veridise, AuditHub combines four proprietary tools: Vanguard (smart contract static analysis), OrCa (specification-guided fuzzing), Picus (ZK circuit formal verification), and ZK Vanguard (ZK circuit static analysis). The platform enables development teams and audit firms to catch critical vulnerabilities before deployment through mathematical verification rather than point-in-time manual audits.

Built by Veridise. https://veridise.com/

Sourcebot helps humans and agents understand large fragmented codebases. Deploy on-prem with a single docker command, and index all of your repos across any code host platform.

For humans, Sourcebot provides a web interface to allow anyone to search and ask questions across the entire codebase. For agents, Sourcebot provides a powerful MCP server that allows all your agents to fetch the context they need across all your companies repos.