Use when creating new skills, editing existing skills, or verifying skills work before deployment - applies TDD to process documentation by testing with subagents before writing, iterating until bulletproof against rationalization
Quick integration into your workflow with minimal setup
Active open-source community with continuous updates
MIT/Apache licensed for commercial and personal use
Customizable and extendable based on your needs
Download or copy the skill file from the source repository
Place the skill file in Claude's skills directory (usually ~/.claude/skills/）。
Restart Claude or run the reload command to load the skill
Tip: Read the documentation and code carefully before first use to understand functionality and permission requirements
All Skills from open-source community, preserving original authors' copyrights
obra__superpowers/skills/writing-skills/SKILL.mdProven benefits and measurable impact
Catch vulnerabilities before deployment with formal verification
Automate proof checking to speed up security reviews
Ensure all critical paths have formal specifications
Perfect for these scenarios
Automatically verify correctness of Move contracts using formal methods
Catch critical bugs early by writing formal specifications
Prove global invariants hold for complex DeFi protocols
Fix failing Move Prover proofs with expert guidance