SKILL.md

name: verify description: 'Manifest verification runner. Spawns parallel verifiers for Global Invariants and Acceptance Criteria. Called by /do, not directly by users.'

/verify - Manifest Verification Runner

Orchestrate verification of all criteria from a Manifest by spawning parallel verifiers. Report results grouped by type.

User request: $ARGUMENTS

Format: <manifest-file-path> <execution-log-path> [--scope=files]

If paths missing: Return error "Usage: /verify "

Principles

Principle	Rule
Orchestrate, don't verify	Spawn agents to verify. You coordinate results, never run checks yourself.
ALL criteria, no exceptions	Every INV-G* and AC-. criterion MUST be verified. Skipping any criterion is a critical failure.
Maximize parallelism	Launch all verifiers in a SINGLE message with multiple Task tool calls. Never launch one at a time.
Globals are critical	Global Invariant failures mean task failure. Highlight prominently.
Actionable feedback	Pass through file:line, expected vs actual, fix hints.

Verification Methods

Type	What	Handler
`bash`	Shell commands (tests, lint, typecheck)	criteria-checker
`codebase`	Code pattern checks	criteria-checker
`subagent`	Specialized reviewer agents	Named agent (e.g., code-bugs-reviewer)
`research`	External info (API docs, dependencies)	criteria-checker
`manual`	Set aside for human verification	/escalate

Note: criteria-checker handles any automated verification requiring commands, file analysis, reasoning, or web research.

Criterion Types

Type	Pattern	Failure Impact
Global Invariant	INV-G{N}	Task fails
Acceptance Criteria	AC-{D}.{N}	Deliverable incomplete
Process Guidance	PG-{N}	Not verified (guidance only)

Note: PG-* items guide HOW to work. Followed during /do, not checked by /verify.

Never Do

Skip criteria (even "obvious" ones)
Launch verifiers sequentially across multiple messages
Verify criteria yourself instead of spawning agents

Outcome Handling

Condition	Action
Any Global Invariant failed	Return all failures, globals highlighted
Any AC failed	Return failures grouped by deliverable
All automated pass, manual exists	Return manual criteria, hint to call /escalate
All pass	Call /done

Output Format

Report verification results grouped by Global Invariants first, then by Deliverable.

On failure - Show for each failed criterion:

Criterion ID and description
Verification method
Failure details: location, expected vs actual, fix hint

On success with manual - List manual criteria with how-to-verify from manifest, suggest /escalate.

On full success - Call /done.

スコア

総合スコア

60/100

リポジトリの品質指標に基づく評価

✓SKILL.md

SKILL.mdファイルが含まれている

+20

✓LICENSE

ライセンスが設定されている

+10

○説明文

100文字以上の説明がある

0/10

○人気

GitHub Stars 100以上

0/15

○最近の活動

3ヶ月以内に更新がある

0/10

○フォーク

10回以上フォークされている

0/5

✓Issue管理

オープンIssueが50未満

+5

✓言語

プログラミング言語が設定されている

+5

○タグ

1つ以上のタグが設定されている

0/5

レビュー

💬

レビュー機能は近日公開予定です