verify-laws
Generate and verify proofs for categorical laws. Produces Lean 4 filesfor category, monad, functor, and transformation laws. Use when: provinglaws, verifying correctness, formal verification.
$ Installer
git clone https://github.com/BellaBe/ideas-os /tmp/ideas-os && cp -r /tmp/ideas-os/.claude/skills/engineering-verify-laws ~/.claude/skills/ideas-os// tip: Run this command in your terminal to install the skill
Repository
BellaBe
Author
BellaBe/ideas-os/.claude/skills/engineering-verify-laws
1
Stars
0
Forks
Updated1w ago
Added1w ago