Repository
runtimeverification/kontrol agent skills
- skills
- 3
- GitHub stars
- 125
- Stars
- 125 (18 forks)
- Licence
- BSD-3-Clause
- Last push
- Oct 2026
- Created
- Mar 2023
Install all skills
npx skills add runtimeverification/kontrolAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in runtimeverification/kontrol, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Add a new Foundry cheatcode to Kontrol (K rules, selector, Solidity test, CI registration). | runtimeverification/ | 125 | — | ~903 | Automated safety check: Pass | BSD-3-Clause | 2 days ago |
| 2 | A skill your agent uses when kontrol prove leaves pending leaves in the KCFG, times out during simplification, or fails to reduce bitwise, keccak, Map, or bool2Word terms — and the fix needs a new K… | runtimeverification/ | 125 | — | ~5.2k | Automated safety check: Pass | BSD-3-Clause | 2 days ago |
| 3 | Update expected output golden files for integration test suites. | runtimeverification/ | 125 | — | ~275 | Automated safety check: Pass | BSD-3-Clause | 2 days ago |
Questions, answered from the data.
What is the best skill in runtimeverification/kontrol?
Add Cheatcode from runtimeverification/kontrol ranks first of the 3 skills in runtimeverification/kontrol listed here, with the highest score: its repository has 125 GitHub stars, its SKILL.md loads about 903 tokens and it passes the automated safety check with no findings. Next come Writing Kontrol Lemmas and Update Expected Output.
Are the skills in runtimeverification/kontrol official?
None yet. All 3 skills in runtimeverification/kontrol listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from runtimeverification/kontrol?
Run npx skills add runtimeverification/kontrol in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.