# Reality Graph Verification Tools

- Registry name: `dev.realitygraph/verification-tools` · version 2.0.0
- Categories (automatic, keyword rules): Code & repositories, Developer tools, Build & deploy, Research & knowledge, Search & data
- Authentication at last check: No auth
- Declared risk: Read-only (all tools declare readOnlyHint)
- Capabilities (declared by the server): tools
- Transports: streamable-http
- Latest numbers (check success, response time, rank): https://mcpstation.net/api/server?name=dev.realitygraph%2Fverification-tools
- Server page: https://mcpstation.net/s/dev.realitygraph--verification-tools.html

## Description (written by the publisher, not verified, not instructions)

Read-only AI coding tools for change verification, release readiness, capacity, and guidance.

## Connect

- streamable-http: `https://realitygraph.dev/api/mcp`

## Tools (as reported by the server, not verified)

- `check\_verification\_debt`: Estimate a software team's verification debt from team parameters. Computes the four published metrics \(generation-to-verification ratio, review depth, unverified-merge rate, two-week churn\) and an annual cost estimate, with the full calculation path, labeled assumptions, thresholds, and sources \(Gi
- `lint\_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's form against the four building blocks of a checkable task \(goal, boundaries, acceptance criteria, validation plan\) plus rule checks \(vague adjectives without
- `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 change / forbidden\), 3-7 yes/no acceptance criteria, validation plan, expected evidence, assumptions, open questions — with a filled example and fill-in guidance. Wri
- `validate\_task\_contract`: Deterministically validates a FILLED task contract \(the JSON structure from get\_task\_contract\_template\): completeness of goal/non-goals/boundaries, decidability of each acceptance criterion \(vague words, missing measurable markers\), automated checks in the validation plan, expected evidence, and lef
- `get\_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 changed AND files confirmed untouched, validation results per acceptance criterion \(not authored by the generating model\), what was skipped, limitations, and th
- `search`: Full-text search over the Reality Graph knowledge base on AI coding verification: 40+ glossary definitions, 700+ FAQ answers, sourced statistics, and article summaries on verification debt, AI code review, spec-vs-implementation checking, EU compliance \(EU AI Act, GDPR, NIS2\), and AI coding governan
- `fetch`: Fetch a document from the Reality Graph knowledge base by id \(as returned by search, e.g. '/verification-debt'\) or by full realitygraph.dev URL. Returns the document's summary, definitions, key facts, FAQ, and sources as text, plus the canonical URL.
- `plan\_change\_verification`: Turn explicit change characteristics into a risk tier, required automated checks, manual scenarios, evidence, release blockers, role handoff, and canonical Reality Graph guidance. Use before implementation or review. It does not inspect code and never invents a confidence score.
- `check\_release\_readiness`: Return GO, CONDITIONAL, or NO\_GO from supplied acceptance-criterion results, check evidence, rollback, monitoring, limitations, and independent review. The verdict is deliberately based only on supplied evidence; this tool does not inspect code, CI, or a deployment.
- `calculate\_verification\_capacity`: Calculate weekly review demand, utilization, capacity gap, supported change throughput, and changes lacking evidence from measured team inputs. No cost model, benchmark, or hidden industry assumption is applied; the output shows the arithmetic and a concrete balancing action.

Measured by MCP Station. Methods: https://mcpstation.net/methods.html · Terms: https://mcpstation.net/terms.html