respect-broker
Method cross-broker agent for the ReSpect study. Generate Spectra specifications from natural-language requirements usi…
Description
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. A reusable SKILL.md agent skill by maurice-herwig.
Author
maurice-herwig
Platform
cli
Pricing model
free
Categories
Tags
Capabilities
- SKILL.md package