logic-gatekeeper

What problem does it solve?

Validates requirements to remove ambiguity and ensure hardware timing and physical constraints are feasible before synthesis.

Core Features & Use Cases

• Ambiguity Audit: flags subjective terms, demands quantitative metrics, and ensures testable acceptance criteria.
• Physical Constraint Check: cross-references hardware specs and verifies timing and resource limits against available hardware.
• Traceability Check: ensures every requirement has a testable path and traceable verification plan.
• Conflict Resolution: detects mutually exclusive requirements and halts with human review when conflicts arise.
• Multi-Cycle Re-Validation: supports full validation for new, modified, or unchanged requirements with rationale and impact assessment.

Quick Start

Provide REQUIREMENTS.md and let the skill perform ambiguity audit, hardware constraint checks, and traceability validation.