respect

Description

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. A reusable SKILL.md agent skill by maurice-herwig.

Categories

Tags

Capabilities

• SKILL.md package