GenAiHub

Last checked 27 July 2026 — responded normally.

respect-spec-tester

ReSpect specification agent for the independent-test condition. Generate and repair Spectra specifications from natural…

Live
Open / InstallLast updated July 27, 2026

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.

Community Metrics

Views
0
Avg Rating
N/A
Ratings
0
Likes
0
Comments
—

Author

maurice-herwig

Platform

cli

Pricing model

free

Categories

  • Skills

Tags

  • skill
  • claude-skill
  • github
  • en

Capabilities

  • SKILL.md package

Information

TypeSkill
SourceSkillsmp
AddedJuly 27, 2026

Comments

?

Others in the same category, ranked by how often they are opened.