respect-spec-tester

Description

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

Categories

Tags

Capabilities

• SKILL.md package