Search
By runtimeverification
3 skills found.
Category:
Product:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | 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 |
