
AuditHub
Olympix
CodeMaker AI
Gaman-ai.vercel.app
Coding Assistant
AskCodi
Claude Code
CodeConvert
AgentGPT
Zzz
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/
CodeMaker AI provides tools and automation for software developers to write, test, and document source code. Our flagship product is the Developer Toolkit, a Next-Gen solution that empowers individuals and teams to automate various aspects of software development. Toolkit is designed to automate work at an unparalleled scale and at a fraction of the cost.
AuditHub
CodeMaker AINo features have been listed yet.
No AuditHub videos yet. You could help us improve this page by suggesting one.
AuditHub's answer
AuditHub's answer
The tools in AuditHub trace directly to the UToPiA research group at UT Austin, led by Professor Isil Dillig. Starting in 2018, program analysis for smart contracts became a central research focus. The result: peer-reviewed breakthroughs that now run in production.
Olympix - Secure your code as itโs written
Gaman-ai.vercel.app - AI Code Agent, no-subscription alternative to Claude Code. It runs real programming tasks using tools like shell commands, file operations, web access, and MCP integrations.