Verify
SkillDev toolsSelf-healing verification loop (test → clippy → fmt)
Available today. Use it from your connected AI after setup.
No other account needed.
Connect ahel once, and every AI you use reads what you have installed.
Then ask your AI: use the Verify skill
What this skill tells your AI
The instructions your AI receives, as published by mag123c/toktrack in .claude/skills/verify/SKILL.md and read by ahel’s review.
Flow
cargo test → cargo clippy → cargo fmt --check
│ │ │
└── On fail: fix and retry (notify user after 3 same failures)
Commands
cargo test --quiet
cargo clippy --all-targets --all-features -- -D warnings
cargo fmt --all -- --check
Verification Honesty (MUST — PASS gate)
Verification trustworthiness lies not in "what passed" but in "what was actually executed and passed". Enforced before any PASS verdict.
Skip ≠ Pass
- Tests marked
ignored/#[ignore]are unverified → do not count as green. - Tests skipped due to environment (missing external service, platform constraints, etc.) are a BLOCKER. If unfixable, escalate to user as "verification incomplete + reason" rather than PASS.
Do not cite unrun tests as verification evidence
- "Confirmed via test X" is only valid when that test actually ran and passed in this execution.
- Do not use a merely written test as evidence of "confirmed" (false-green = false reassurance).
Coverage honesty (mock ≠ real)
- Mock-based unit tests verify only the logic inside the mock boundary. Behaviors invisible to mocks — file I/O, concurrency, simd-json real parsing — are confirmed only by integration verification.
- If a path is covered only by mocks, report it as "mock coverage only — integration unconfirmed" rather than "verified".
Acceptance/DoD cross-check (carry PLAN gates)
- Read the PLAN Acceptance/DoD and any
[unverified-gate]passed from implement; cross-check whether each item actually ran and passed in this execution. - If unrunnable (prod smoke / external service / CI-only environment) → no green-wash. Tag as
[unverified-gate: delegated, owner/due/probe]and carry to wrap Plan Reconciliation (../wrap/references/reconciliation.md).
Report format
- ✅ Actually executed and passed
- ⛔ Skipped/environment-blocked + reason (unresolved = BLOCKER, not PASS)
- ⚠️ Mock coverage only, integration unconfirmed
- ⏳ Delegated to wrap due to unverifiable Acceptance item
Self-Healing
- Fail → analyze error → fix code → retry
- Same error 3 times → notify user
Rules
- Required before commit
- Order: test → clippy → fmt
- All must pass to proceed
Next Step
Only when the Verification Honesty gate passes (actual execution passed, no unresolved BLOCKERs) → call /review immediately. Do not ask "should I review?".
If there are unresolved BLOCKERs, do not proceed to /review — report "verification incomplete + reason + required environment actions" to the user.
Signals
- GitHub stars
- 189
- Forks
- 20
- Last commit
- Sep 2026
Advanced
- Catalog kind
- skill
- Gateway key
verify-mag123c- Source
- github.com/mag123c/toktrack