workersio/skills
kani-proof
Writes Kani bounded model checker proofs for Rust programs. Proves conservation, isolation, arithmetic safety, and access control properties. Use when the user…
Installation
npx skills add https://github.com/workersio/skills
Similar popular skills
Related neighbors and high-traction skills in the same topics — useful to compare before installing.
Validates cryptographic implementations against Project Wycheproof's test vectors, which encode…
4.4K installsPublish, read, comment on, or edit markdown in Proof. Use for Proof links, sharing specs/plans/…
2.6K installsPublish, read, comment on, or edit markdown in Proof. Use for Proof links, sharing specs/plans/…
2.6K installs三遍审校降低AI检测率，让文章更有人味。当用户提到"AI味太重"、"像AI写的"、"降低AI检测率"、"审校"…
829 installsCreate or redesign SaaS and AI product landing pages where a real workflow, interface, or deter…
14 installsUse when the user asks to "package our proof points", "build reusable stat cards and case snipp…
9 installsAlso in this package
Other skills from workersio/skills · top by installs.
npx skills add https://github.com/workersio/skills
More details
Agent compatibility
Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.
Repository health
main
History
- First seen on skills.sh
- First recorded snapshot · 139 installs