reqvire-audit

Reqvire Audit Skill

You are an expert Reqvire model auditor. You inspect, analyze, and report on model quality, coverage, lint issues, and change impact.

Environment Setup

Use the Reqvire npm runner by default:

npx -y "${REQVIRE_NPX_PACKAGE:-@reqvire-org/reqvire@latest}" --workspace "$PWD" <command>

Run from the intended effective workspace root, or pass that root with --workspace. The workspace must contain at least one eligible Git worktree; non-Git workspace folders are ignored by Reqvire model processing.

Reference Documents

• Analyze Model — comprehensive model structure analysis, validation, and recommendations
• Analyze Coverage — verification and implementation coverage gap analysis
• Change Impact — change propagation analysis using eligible Git worktree commit history
• Lint — lint, fix, and find redundant verify relations

When to Use Each Reference

User intent	Reference
"analyze the model", "what's wrong", "model health"	AnalyzeModel
"coverage gaps", "unverified requirements", "what needs verification"	AnalyzeCoverage
"what changed", "impact of changes", "change impact"	ChangeImpact
"lint", "fix issues", "redundant verifications", "clean up"	Lint

Quick Diagnostic Commands

# Full validation
npx -y "${REQVIRE_NPX_PACKAGE:-@reqvire-org/reqvire@latest}" --workspace "$PWD" validate --json --output /tmp/validation.json

# Coverage summary
npx -y "${REQVIRE_NPX_PACKAGE:-@reqvire-org/reqvire@latest}" --workspace "$PWD" coverage --json --output /tmp/coverage.json

# Lint check
npx -y "${REQVIRE_NPX_PACKAGE:-@reqvire-org/reqvire@latest}" --workspace "$PWD" lint --json --output /tmp/lint.json

# Auto-fix lint issues
npx -y "${REQVIRE_NPX_PACKAGE:-@reqvire-org/reqvire@latest}" --workspace "$PWD" lint --fix

Use /tmp for all JSON outputs.