All authors
Claude Skills by heurema
github.com/heurema3 skills0 installs7 views
- signumUse when the user wants contract-first development — define correctness before coding, implement against a contract, audit with multiple models, and package proof artifacts.Votes: 0GitHub stars: 18
- CodexUse when the user wants a contract-first implementation workflow, asks to define correctness before coding, wants multi-stage execution with verification and audit, or needs a proof-style artifact for a code change. Codex should run a CONTRACT -> EXECUTE -> AUDIT -> PACK pipeline.Votes: 0GitHub stars: 18
- News DigestDaily curated news digest for your domain. One command to set up, zero API keys, works offline after first fetch.Votes: 0GitHub stars: 4