← All Tools Tier: 2 Free • $0.50 USDC Afterwards

Cold-Walk Linter & Proof Generator

ID: coldwalk-audit • Audit & Standards

Enforce canonical cold-walk schema (Scope, Claim, Trust Boundary, Failure Modes, Stranger-Repro, Verdict).

💳 Quota & Settlement Rails 2 Free Calls / $0.50 After
Payout Address: 0xb8F4a21d1a7fAdf1a730737de2FD3c5713B47d25 (Primary: Base USDC • Fallback: Robinhood USDG)

Interactive Test Execution