allium
通过形式化行为描述来澄清AI代理意图，提升开发质量与一致性。
安装使用
复制下面这段提示词发给你的 AI（Claude / Cursor / TRAE / Codex / WorkBuddy 等），它会自动帮你完成安装：
帮我安装这个 AI Skill：allium。 它的用途是：通过形式化行为描述来澄清AI代理意图，提升开发质量与一致性。 完整的 Skill 内容见：https://321skill.com/skills/allium/raw/index.md 请读取该页面内容，如果是 SKILL.md 格式直接安装，如果是 README 提炼核心 prompt 后安装。
提示词包含完整的 Skill 内容链接，AI 读取后即可完成安装。你也可以 查看完整内容 确认无误。
使用示例
“帮我在当前项目中初始化一个Allium规范，描述用户注册流程的行为。”，它会引导你通过对话（/elicit）厘清注册涉及的实体（如User）和规则（如“当提交注册表单时，需确保邮箱唯一，并确保创建用户记录”），生成.allium文件。然后你可以用`/propagate`生成对应的测试用例，再着手实现代码。
介绍
Allium 旨在解决AI代理开发中意图模糊、上下文易丢失以及验证信号薄弱的问题。它通过一个持久化的行为规范文件（.allium），明确描述系统应该做什么（实体、规则），而非如何实现，从而将设计意图固化为可验证的契约。
使用时，开发者将.allium文件与代码放在一起，通过其配套的CLI工具进行语法检查和语义推理。核心工作流是一个循环：通过/elicit从意图生成规范，或通过/distill从现有代码提炼规范；用/propagate从规范生成测试；实现代码后运行测试并利用/weed检查规范与代码的一致性。
它非常适合从事智能体开发、全栈开发或复杂系统开发的工程师，尤其是那些需要确保AI代理行为符合预期、避免需求漂移和设计漏洞的团队。对于需要严格验证系统行为而非仅代码正确性的项目尤为有用。
建议将.allium规范视为项目的主要产出物，代码是实现它的次要产物。在引入新功能时，先更新规范并生成测试，确认测试失败后再进行实现，这能有效验证规范的准确性和必要性。注意，它更侧重于行为层面的设计与验证，而非具体的代码生成或优化。
核心特点
与多数专注于代码生成或任务执行的AI开发工具不同，Allium的核心是创建并维护一个独立于代码的、形式化的行为规范。它通过结构化的规则描述（when-requires-ensures）自动暴露设计矛盾，并提供从规范到测试的自动生成与双向同步能力，确保了开发过程中的意图清晰和验证可靠。
注意事项
不适合只需要快速生成一次性脚本或对系统行为没有明确、稳定规范要求的简单任务。
常见问题
Allium 和写单元测试有什么区别？
Allium 先于代码定义行为规范，并从中自动生成测试，确保测试覆盖的是“应该做什么”，而不仅仅是“代码怎么写”。它更关注设计层面的验证和意图的持久化。
它支持哪些编程语言？
Allium 规范是语言无关的，描述的是系统行为。其生成的测试和与代码的同步能力可能依赖于具体的项目配置和适配。
给 AI 助手的安装指引
如果你的 AI 编程助手（Claude Code、Cursor、TRAE 等）能看到这个页面，把下面这段发给它即可自动完成安装：
请访问 https://321skill.com/skills/allium/raw/index.md 读取 allium 的原始 Skill 定义（Markdown 格式），按其中说明在我的环境里完成安装和配置。
AI 可直接读取的原始 Markdown 地址：/skills/allium/raw/index.md（查看排版版本）