职业分类
未分类
描述
Give your AI agents something more useful than a prompt. Velocity through clarity.
原文语言：英语
更新
- 最近记录的来源活动
- SkillsMP 收录数据更新
- 已收集 skills
- 6
- GitHub 星标
- 477
- GitHub Forks
- 25
这个仓库中的 skills
职业分类待补全
已展示 6 / 6 个已收集 Skill。
skill
职业分类
描述
更新
职业分类
未分类
描述
Extract an Allium specification from an existing codebase. Use when the user has existing code and wants to distil behaviour into a spec, reverse engineer a specification from implementation, generate a spec from code, turn implementation into a behavioural…
原文语言：英语
更新
职业分类
未分类
描述
Generate tests from Allium specifications. Use when the user wants to propagate tests, generate test files from a spec, write tests for a specification, create property-based tests, produce state machine tests, check test coverage against spec obligations, or…
原文语言：英语
更新
职业分类
未分类
描述
Tend the Allium garden. Use when the user wants to write, edit, update, add to, improve, clarify, refine, restructure, fix or migrate Allium specs. Covers adding entities, rules, triggers, surfaces and contracts, fixing syntax or validation errors, renaming…
原文语言：英语
更新
职业分类
未分类
描述
Weed the Allium garden. Find where Allium specifications and implementation code have diverged, and help resolve the divergences. Use when the user wants to check spec-code alignment, compare specs against implementation, audit for spec drift or violations,…
原文语言：英语
更新
职业分类
未分类
描述
Independently witness that an Allium loop's convergence claim is true and was reached honestly. Use when the user wants to verify a loop's self-report, confirm tests really pass and no generated test was weakened, produce a convergence certificate or witness…
原文语言：英语
更新
已展示 6 / 6 个已收集 Skill。