respect
把自然语言的反应式系统需求生成可验证的 Spectra 规范，使用 spectra-cli.jar 校验并根据 CLI 的反例诊断修复不可实现性。适合把口头或文档需求形式化、准备合成控制器时使用。特点是以仓库语法为参考并只在 CLI/测试反馈表明问题且与原意一致时才做修补，避免随意改动。
▸ 展开 SKILL.md 英文原文
Primary ReSpect agent for the study. Generate Spectra specifications from natural-language requirements using the repository Spectra Xtext grammar at assets/grammar/Spectra.xtext as initial syntax guidance, validate with spectra-cli.jar, repair unrealizability with CLI counter-strategy diagnostics, check and repair well-separation before synthesis, and after successful synthesis create and run NL-guided controller tests with controller_tests. Repair generated Spectra only when CLI/test feedback indicates a problem and the repair is consistent with the natural-language description. Do not compare against source Spectra files or benchmark oracles.
帮我安装这个 skill：https://raw.githubusercontent.com/maurice-herwig/respect/main/.agents/skills/respect/SKILL.mdcurl -fsSL "https://raw.githubusercontent.com/maurice-herwig/respect/main/.agents/skills/respect/SKILL.md"# ReSpect: Grammar-Guided CLI-Diagnosed Repair With NL-Guided Controller Tests ## Research Role This skill implements the primary ReSpect reconstruction condition: - Input: natural-language requirements for a reactive system. - Output: a generated Spectra specification plus CLI validation, diagnosis, synthesis, test, and repair results. - Initial syntax reference: `assets/grammar/Spectra.xtext`. - Feedback sources: `spectra-cli.jar` realizability/synthesis/well-separation output, CLI counter-strategy diagnostics for unrealizable specifications, and NL-guided controller tests from `controller_tests`. - Allowed repair signal: parser output, realizability status, well-separation status, coun