respect-broker
把自然语言需求转成 Spectra 规范，使用 spectra-cli.jar 校验、修复语法或不可实现性并检查 well-separation，合成后将规格提交到 experiments/cross_broker.py 请求同行争议反馈。适合想通过同行代理的“争议/同行评审”来改进规格而不是自己运行测试的场景。特点是以同行反馈为修订依据。
▸ 展开 SKILL.md 英文原文
Method cross-broker agent for the ReSpect 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 syntax errors, repair unrealizability with CLI counter-strategy diagnostics when consistent with the natural-language description, check and repair well-separation before synthesis, and after successful synthesis submit the generated specification to experiments/cross_broker.py for peer disagreement feedback. Do not run controller_tests, generated semantic tests, equivalence checks, mutation checks, or benchmark oracles.
帮我安装这个 skill：https://raw.githubusercontent.com/maurice-herwig/respect/main/.agents/skills/respect-broker/SKILL.mdcurl -fsSL "https://raw.githubusercontent.com/maurice-herwig/respect/main/.agents/skills/respect-broker/SKILL.md"# ReSpect Method Cross-Broker: Grammar-Guided CLI-Diagnosed Repair With Peer Disagreement Feedback ## Research Role This skill implements a cross-agent ReSpect reconstruction condition: - Input: natural-language requirements for a reactive system. - Output: a generated Spectra specification plus CLI validation, diagnosis, synthesis, broker feedback, and repair results. - Initial syntax reference: `assets/grammar/Spectra.xtext`. - Feedback sources before broker submission: `spectra-cli.jar` parser/realizability/synthesis/well-separation output and CLI counter-strategy diagnostics for unrealizable specifications. - Feedback source after successful synthesis: disagreement feedback returned b