Search
By kingbootoshi
2 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 | Write prompts, system instructions, agent directives, slash commands, and skill descriptions using two stacked layers — outcome-first (define the destination, success criteria, stopping condition)… | kingbootoshi/ | 143 | — | ~2.3k | Automated safety check: Pass | MIT | 4 mo ago |
| 2 | Design and verify state machines using the TLA PreCheck TypeScript DSL. | kingbootoshi/ | 112 | — | ~1.4k | Automated safety check: Pass | No licence | 6 mo ago |
