List view
A suite of bulletproof production contract templates & verification standards
No due date•10/10 issues closedCloud fuzzing, Taint Analysis, Graph Generation, Advanced SMT modeling
No due date•6/9 issues closedVS Code extension, GitHub App, incremental builds, and interactive fixing
No due date•6/8 issues closedAll showcase Soroban contracts production-ready with test suites
No due date•5/5 issues closedFrontend dashboard connected to real analysis, wallet integration
No due date•20/21 issues closedAll CLI commands functional; SARIF, auto-fix, and badge outputs
No due date•25/28 issues closedAll planned detectors implemented; reentrancy, gas, complexity, storage analysis complete
No due date•16/22 issues closedAll existing detectors are complete, tested, and CI is green
No due date•21/23 issues closedWorld-class, demo-ready product for judging
No due date•9/9 issues closedFull-featured web dashboard live at sanctifier.dev
No due date•8/8 issues closedPolished CLI with LSP, editor plugins, and public crate release
No due date•12/12 issues closedProduction-grade Soroban contracts with formal verification
No due date•8/8 issues closedFull vulnerability detection: reentrancy, overflow, auth, storage
No due date•14/14 issues closedAll CI checks pass; core analysis engine 100% reliable
No due date•9/9 issues closed