domains / families / security / smart-contract-formal-verification

smart-contract-formal-verification

authentic

Foundry and Soroban formal invariant verification register: state transition rules, boundary invariant properties, and symbolic execution checks.

When to use

When formalizing architectural contracts, security invariants, or operational limits for Smart Contract Formal Verification.
When cross-functional review is required between protocol developers, smart contract auditors, and AI engineering agents.
When generating reproducible CSV, SQL DDL, JSON Schema, and Notion property registers for tracking compliance.

When not to use

Provides architectural specifications, data models, and verification schemas; does not execute direct transaction signing without authorized external tooling.
Requires network connectivity and valid RPC credentials when querying on-chain states.

Source

Repository	Path
sickn33/agentic-awesome-skills	`plugins/agentic-awesome-skills-claude/skills/smart-contract-formal-verification/SKILL.md`