Propagate

juxt/allium/skills/propagate

作者 juxt7f7f008e0c6b无许可证506 个星标收录于 2026年10月8日更新于 2026年10月8日仓库11天前更新

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 understand what tests a specification requires.

仅含说明Software DevelopmentAI & Agents

仅公开文件列表。将技能安装到工作区后即可查看文件内容。

路径大小类型
SKILL.md21.3 KBtext/markdown

来源与署名

来源：juxt/allium位于skills/propagate提交7f7f008

许可证： 无许可证

内容归原作者所有。SourceWeft 从公开仓库中收录这些内容。

举报或申请下架

更多来自 juxt/allium 的技能

Weed

juxt

对比 Allium 规范文件与实现代码，报告分歧并协助解决。

Software Development50611天前更新

Allium

juxt

用于在 .allium 文件中形式化描述软件行为的语言，并提供规范、测试与代码收敛的循环。

Software Development50611天前更新

Elicit

juxt

通过结构化对话引导需求挖掘，构建 Allium 规格说明。

AI & Agents50611天前更新

Tend

juxt

编写、编辑并校验 Allium 规格文件，把需求转化为格式良好的规格。

Software Development50611天前更新

更多Software Development技能

Playground

anthropics

精选

构建自包含的交互式 HTML 演练场，包含控件、实时预览和可复制的提示词输出。

Software Development37K今天更新

M5 Onboard

anthropics

精选

通过 USB 检测 M5Stack ESP32 开发板，刷写 UIFlow 2.0 固件并安装 MicroPython 应用包。

Software Development37K今天更新

Cardputer Buddy

anthropics

精选

指导迭代 Cardputer-Adv 的 MicroPython 应用包：添加应用、通过 USB 串口推送文件、查看日志并运行 REPL 命令。

Software Development37K今天更新

Web Design Guidelines

vercel-labs

精选

依据从远程来源获取的 Web Interface Guidelines 审查 UI 代码，并以 file:line 形式报告问题。

Software Development32K5周前更新

Vercel React Native Skills

vercel-labs

精选

React Native 与 Expo 最佳实践规则，涵盖列表性能、动画、导航、UI 模式、状态与 monorepo 配置。

Software Development32K5周前更新

Vercel React Best Practices

vercel-labs

精选

Vercel 的 React 与 Next.js 性能指南，以 70 条规则的形式用于编写、审查和重构代码。

Software Development32K5周前更新