Search
Backend & APIs · By runtimeverification
1 skill found.
Product:
Skills
| # | 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 | 3 days ago |
