smart-contract-formal-verification
Foundry and Soroban formal invariant verification register: state transition rules, boundary invariant properties, and symbolic execution checks.
| Field | Value |
|---|---|
| Owner | sickn33 |
| Curator | Thomas Cherickal |
| Source | sickn33/agentic-awesome-skills |
| Repo stars | 49,710 |
| License | MIT |
| Repo last push | 2026-11-14 |
Links
- Roles: blockchain-defi-engineer
- Source repo: sickn33/agentic-awesome-skills
- Same repo: advanced-evaluation, agent-evals, agent-evaluation, agent-evaluation-reporting, agent-observability, huggingface-lora-space-builder, llm-fine-tuning, trl-training
- Registry seed skills for this role: blockchain-defi-engineer seed skills