Search
Agent Workflows · By ArabelaTso
4 skills found.
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Translate natural-language requirements or structured specification documents into formal temporal logic properties (LTL, CTL, safety/liveness properties). | ArabelaTso/ | 253 | — | ~1.5k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 2 | Automatically derives TLA+ properties (invariants, safety, liveness) from natural-language requirements or structured requirement documents. | ArabelaTso/ | 253 | — | ~1.9k | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 3 | Generates hierarchical context files (CLAUDE.md) throughout a project directory tree, providing AI agents with directory-specific knowledge for better code understanding. | ArabelaTso/ | 253 | — | ~903 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
| 4 | Creates structured context summaries for continuing work across AI sessions. | ArabelaTso/ | 253 | — | ~739 | Automated safety check: Pass | Apache-2.0 | 1 mo ago |
