Professional security auditing platform for FunC, Tact, and Tolk smart contracts. Upload your code, get comprehensive vulnerability reports.
Deep security analysis of FunC, Tact, and Tolk contracts with AI-powered vulnerability detection.
Queue-based audit pipeline with real-time status updates and live log streaming.
SARIF output for GitHub Code Scanning, incremental caching, and git diff support.
Async message risks, bounce handling, gas/storage analysis, and access control audits.
Standalone CLI for local audits with policy enforcement and badge generation.
JSON, Markdown, and HTML reports with executive summaries and detailed findings.