🎯

kani-proof

🎯Skill

from workersio/spec

Security check pending

Same repository

workersio/spec(4 items)

kani-proof

Installation

Vibe Index InstallInstalls to .claude/skills/ - auto-recognized by Claude Code

npx vibeindex add workersio/spec --skill kani-proof

skills.sh Install⚠ Installs to .agents/skills/ - may not be auto-recognized by Claude Code

npx skills add workersio/spec --skill kani-proof

Manual InstallCopy SKILL.md content and save to the path below

~/.claude/skills/kani-proof/SKILL.md

4Installs

AddedMar 5, 2026

Skill

Skill

Skill