respect-spec-tester

仓库创建 2026年6月2日最近提交 8 天前SkillHot 收录 4 天前

这个 Skill 做什么

根据自然语言需求和固定环境签名生成并修复 Spectra 规格，使用 spectra-cli.jar 做语法与可实现性校验并合成控制器，但不自己编写控制器测试。适合把规格生成与测试编写分离的工作流：你产出规格，独立测试器来验证并反馈。关键是消费独立测试反馈、与测试解耦。

▸ 展开 SKILL.md 英文原文

ReSpect specification agent for the independent-test condition. Generate and repair Spectra specifications from natural-language requirements plus a fixed env/sys signature, validate with spectra-cli.jar, repair syntax/unrealizability/well-separation, synthesize a controller, and consume independent controller-test feedback from a separate test-writer agent. Do not create controller tests yourself, do not read source Spectra files, and do not compare against benchmark oracles.

Stars

Forks

仓库内 Skill

7 日增星

安装 / 使用

给你的 Agent 一句话（通用）

帮我安装这个 skill：https://raw.githubusercontent.com/maurice-herwig/respect/main/.agents/skills/respect-spec-tester/SKILL.md

或 curl 直取 SKILL.md

curl -fsSL "https://raw.githubusercontent.com/maurice-herwig/respect/main/.agents/skills/respect-spec-tester/SKILL.md"

SKILL.MD 节选查看完整文件 ↗

# ReSpect Spec Tester

## Research Role

This skill implements the specification side of the independent-test condition:

- Input: natural-language requirements, fixed environment/system signature, and optionally feedback from independently generated controller tests.
- Output: generated Spectra, CLI diagnostics, synthesis output, repair counts, and artifact paths.
- Feedback sources: parser/realizability/well-separation/synthesis output from `spectra-cli.jar`, counter-strategy diagnostics, and independent test failures supplied by the orchestrator.
- Not allowed: writing controller tests, reading the independent test-writer prompt or reasoning, reading source/reference Spectra files, benchm

via SKILL·HOT · 数据来自 GitHub 公开信息 · 原文版权归作者所有