Getting it into your agent
One page per mod, every tool's command on it. A separate URL per tool would split the same page into five that compete with each other.
git clone --depth 1 https://github.com/shenchangmin/cairnkitWrote this? Show the measurements
A badge with what this costs and how it scanned, read live from this page, so it follows the numbers instead of freezing them. Markdown for a README, HTML for a documentation site or a project page.
[](https://agentmods.dev/agents/shenchangmin/cairnkit/verify)<a href="https://agentmods.dev/agents/shenchangmin/cairnkit/verify"><img src="https://agentmods.dev/badge/agents/shenchangmin/cairnkit/verify/github.svg" alt="Measured on agentmods" height="20"></a>Or the 80×15 button, for a site that already has a row of RSS and ATOM ones. Only the verdict fits; the numbers stay here.
<a href="https://agentmods.dev/agents/shenchangmin/cairnkit/verify"><img src="https://agentmods.dev/badge/agents/shenchangmin/cairnkit/verify.svg" alt="Reviewed on agentmods" width="80" height="20"></a>What it costs to keep this loaded
Counted locally with the o200k_base tokenizer, which is exact for GPT models; Claude uses its own tokenizer and its counts differ. Treat this as one consistent yardstick across the catalogue rather than a bill. Prices are per million input tokens.
| Model | Per session | Once invoked |
|---|---|---|
| Fable 5.1 | $0.00055 | $0.00552 |
| Opus 5.5 | $0.00022 | $0.00221 |
| Sonnet 5.5 | $0.00011 | $0.00110 |
| Haiku 4.5 | $0.00006 | $0.00055 |
Grade A, and why
verify scanned grade A with 0 findings against 26 rules in 11 categories — prompt injection, anti-refusal, data exfiltration, privilege escalation, supply chain, agent snooping, system-prompt leakage, SSRF and excessive agency — measured 1mo ago.
A static scan of the body, not an audit. Every finding is printed with the line that produced it so you can judge whether it matters here. A mod is markdown that instructs an agent; that is exactly why what it instructs is worth reading.
Nothing flagged
None of the 26 patterns this scan looks for appear in this file: no shell pipes, no recursive deletes, no credential paths, no hidden text, no instruction-override or anti-refusal phrasing, no agent-config snooping. That is not a guarantee, it is the absence of the things that are checkable.
What it actually says
verify (role agent)
You verify the implementation for one stage (build, e2e, or unit tests). You do not change business logic — if something fails, you report it and follow the stage-specific protocol below.
Red lines
- Verification only — do not edit business logic to make a check pass.
- Report failures honestly with the actual output; never claim green when red.
Knowledge loop (required)
Run cairn --root . kb query --stage <BUILD_VERIFY|E2E_VERIFY|TEST> --budget 200;
apply relevant pitfalls; record a knowledgeReferences block.
Task
Run the appropriate checks for the stage:
- BUILD_VERIFY → build + type/lint. E2E_VERIFY → end-to-end flows. TEST → unit/integration + coverage.
Write the stage artifact (06-build.md / 08-e2e.md / 09-test.md):
- Command(s) run and the result (PASS/FAIL with evidence).
- On FAIL: the failure cause and what must change.
knowledgeReferencesblock.
The verify worker writes the stage artifact itself. The parent verifies it is non-empty before it advances.
Failure handling
BUILD_VERIFY and E2E_VERIFY
After writing the truthful stage artifact for a FAIL, tell the parent to run
cairn --root . state fail --stage <stage>. This records a retry; after the cap the run blocks
for human help. On an allowed retry, the parent dispatches the repair and a fresh verify worker
for the same stage.
TEST
After a TEST FAIL, write the truthful 09-test.md artifact, then stop and surface the failure for
human direction. A TEST failure is not retryable by the state machine: you must not run
cairn --root . state fail --stage TEST, invent a retry, bypass the failure, or advance. After a
human-directed repair, the parent dispatches a fresh verify worker for TEST; it rechecks
09-test.md, and the parent advances only on that later PASS.
<run-id> is in .cairnkit/STATE.yaml. Return PASS/FAIL + a one-line summary.
What this file has done since we first saw it
Hashed on every crawl. A supply-chain change to an agent config is a question of when, not whether, so the history is kept rather than the latest state alone.
- 1mo ago First seen · 53 lines · 55 tokens per session scan A 9c2567d5f4af
verify is an agent published in the GitHub repository shenchangmin/cairnkit (1 stars, last pushed 2mo ago), licensed MIT. It adds 55 tokens to every session and 552 once invoked, about $0.0002 per session on Opus 5.5. A static security scan graded it A with 0 findings. No closer match exists in the catalogue, so it is treated as the original; first seen 2026-08-31.
Other agents, from other repositories
integration-test-reviewer
Reviews changed integration and E2E tests against skeletons, proof obligations, or explicit prompt claims. Use after test implementation or when test review/skeleton verification is requested. Returns only material proof gaps with the smallest sufficient corrections.
ux-evaluator
Use this agent for read-only UX evaluation of test-runner driver artifacts (Playwright AX-tree snapshots, screenshots, console output). Applies the 4-check UX rubric (onboarding-step-count ≤7, axe-violations critical/serious, console-errors visible to user, Apple-Liquid-Glass .glassEffect() conformance on SwiftUI 26+)…
qa-automation-engineer
E2E Testing and Browser Automation specialist. Use this agent to verify user flows, catch regressions, and audit UI alignment using the BrowserOS MCP. It ensures that the product is bug-free and mathematically aligned in a live environment.
qa-engineer
Adversarial QA in an isolated worktree: breaking-case tests, coverage delta and reproducible bug reports. Use to test a feature, close coverage gaps or verify a fix.
integration-reviewer-r1
R1/R0 tier copy (one effort step lower, never below high) of the integration-reviewer agent. Read-only for repo state (no commits, no source edits that survive) fresh-context reviewer for the merged integration diff across all tasks in an orchestration run — running checks may temporarily mutate the working tree…
test-quality-auditor-r1
R1/R0 tier copy (one effort step lower, never below high) of the test-quality-auditor agent. Read-only for repo state (no commits, no source edits that survive) verifier that audits one task's diff and tests for quality — running the tests (step 4) DOES temporarily mutate the working tree, always restored exactly.…