Categories › AI & Agents › Thinking, planning & prompt tools
Read-only AI coding tools for change verification, release readiness, capacity, and guidance.
Remote server: your requests and data go to realitygraph.dev. Claude Code: claude mcp add --transport http reality-graph-verification-tools https://realitygraph.dev/api/mcp · Claude app: Settings → Connectors → Add custom connector.
The tools this server listed when we connected to it, in its own words.
check_verification_debt — Estimate a software team's verification debt from team parameters. Computes the four published metrics (generation-to-verification ratio, relint_task_spec — Check whether a free-text work order for an AI coding agent is verifiable BEFORE handing it over. Heuristic, deterministic lint of the task'get_task_contract_template — Returns Reality Graph's free fill-in template (v0) for a verifiable task contract: goal, non-goals, boundaries (may change / must not changevalidate_task_contract — Deterministically validates a FILLED task contract (the JSON structure from get_task_contract_template): completeness of goal/non-goals/bounget_verification_report_template — Returns the free fill-in template (v0) for a verification report — the artifact you write right after an AI-assisted run: task recap, files search — Full-text search over the Reality Graph knowledge base on AI coding verification: 40+ glossary definitions, 700+ FAQ answers, sourced statisfetch — Fetch a document from the Reality Graph knowledge base by id (as returned by search, e.g. '/verification-debt') or by full realitygraph.dev plan_change_verification — Turn explicit change characteristics into a risk tier, required automated checks, manual scenarios, evidence, release blockers, role handoffcheck_release_readiness — Return GO, CONDITIONAL, or NO_GO from supplied acceptance-criterion results, check evidence, rollback, monitoring, limitations, and independcalculate_verification_capacity — Calculate weekly review demand, utilization, capacity gap, supported change throughput, and changes lacking evidence from measured team inpuNot tested by KitScout yet. When our harness runs it, pros, cons and the tasks we tried appear here, with the date and evidence.