Skip to content

Claude Skills by vitalik1921

github.com/vitalik1921

2 skillsA× 20 installs0 views

Cage DesignAWrite or rewrite a module's design for cage (*.cage.mdx next to the code) — from scratch, from a plan, or from existing code (reverse-engineering). Use when asked to design a module, add contracts or invariants, cover NOT_DESIGNED findings, or describe what a module promises.developmentgosqlVotes: 0GitHub stars: 2
Cage ReviewAReview the contracts of a cage project — judge whether the tests really check what each invariant promises — and record the verdict so that `cage check` is clean. Use when `cage check` or the Stop hook reports REVIEW_MISSING, REVIEW_STALE or REVIEW_WEAK, or when asked to review a design.developmentgodatabaseVotes: 0GitHub stars: 2

Claude Skills by vitalik1921 — 2 skills, security-graded | Skills Directory