Download

Skill UI

Browse and discover 19269+ curated skills

All Development Artificial Intelligence Design & Creative Product & Business Data Science Marketing Soft Skills Productivity Engineering Languages

Search Theorem Proving , found 1 results

Default Newest Most Downloaded

Smart Contract Formal Verification

smart-contract-formal-verification

sickn33/agentic-awesome-skills

Provides a formal invariant verification framework for smart contracts using Foundry fuzzing, symbolic execution, and theorem proving to track safety properties, generate SQL/JSON schemas, and support audit compliance.

1

Language