Search / dev.realitygraph/verification-tools
protogridR0· no sign-inRead-only AI coding tools for change verification, release readiness, capacity, and guidance.
v2.0.0 · active · website · descriptor JSON · versions
{
"mcpServers": {
"verification-tools": {
"type": "http",
"url": "https://realitygraph.dev/api/mcp"
}
}
}claude mcp add --transport http verification-tools https://realitygraph.dev/api/mcp[mcp_servers.verification-tools]
url = "https://realitygraph.dev/api/mcp"
{
"$schema": "https://opencode.ai/config.json",
"mcp": {
"verification-tools": {
"type": "remote",
"url": "https://realitygraph.dev/api/mcp",
"enabled": true
}
}
}{
"mcpServers": {
"verification-tools": {
"type": "http",
"url": "https://realitygraph.dev/api/mcp"
}
},
"deeplink": "cursor://anysphere.cursor-deeplink/mcp/install?name=verification-tools&config=eyJ0eXBlIjoiaHR0cCIsInVybCI6Imh0dHBzOi8vcmVhbGl0eWdyYXBoLmRldi9hcGkvbWNwIn0%3D"
}{
"servers": {
"verification-tools": {
"type": "http",
"url": "https://realitygraph.dev/api/mcp"
}
}
}{
"mcpServers": {
"verification-tools": {
"httpUrl": "https://realitygraph.dev/api/mcp"
}
}
}extensions:
"verification-tools":
enabled: true
name: "verification-tools"
type: streamable_http
uri: "https://realitygraph.dev/api/mcp"
timeout: 300
protocol.modernnewest supported version is 2025-11-25; 2026-07-28 not supported, older versions are deprecated until 2027-07-28protocol.statelessonly applies to 2026-07-28 serversprotocol.transportstreamable HTTPprotocol.list_ttlonly applies to 2026-07-28 serversauth.prm, auth.as_metadata, auth.cimdno remote uses OAuthauth.secret_in_urlno templated URLtools.descriptionsevery tool has a descriptiontools.description_lengthdescriptions are concisetools.schemasevery tool has an object input schematools.annotations10 of 10 tools declare readOnlyHint or destructiveHinttools.directory_hintsno tool declares all four of readOnlyHint, destructiveHint, idempotentHint and openWorldHint; missing: calculate_verification_capacity (idempotentHint); check_verification_debt (idempotentHint); search (idempotentHint); …tools.token_costabout 3,327 tokens to load every tooltools.api_dumptools are not a one-to-one API dumpstability.changesno tool changes in 30 daysstability.rug_pullno tool changed its meaning under the same namedeps.known_vulns, deps.mcp_sdk_version, deps.resolvableno npm or PyPI packageNo tool definition changes recorded. A server's first observation is its baseline; later probes record what changes.
Checks run on what our credential-free, read-only probes observe; tools are never called and no code audit is performed. How it is computed.
+dns-namespace +website +reachable +uptime-99% ~updated-89d-ago -no-repository
Derived from observable signals (official registry feed and our own credential-free probes); no code audit performed. How it is computed.
| remote | auth | reachable | uptime 30d | p50 | protocol | last ok |
|---|---|---|---|---|---|---|
https://realitygraph.dev/api/mcp streamable-http | none | yes | 99% | 524 ms | 2025-11-25 | 2026-10-19 |
calculate_verification_capacityread-only | 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. |
check_release_readinessread-only | 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. |
check_verification_debtread-only | 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 (GitClear, Sonar, Faros, Veracode). Deterministic arithmetic from published models - no benchmark claims. Only team_size is required; every additional parameter refines the estimate. Set lang='de' for a German report. |
fetchread-only | 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. |
get_task_contract_templateread-only | 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. Write the contract before an AI agent runs; verify the result against it after. format='json' returns a machine-fillable JSON structure; default is a compact markdown skeleton. Set lang='de' for German. Static content, nothing stored. |
get_verification_report_templateread-only | 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 the explicit decision. format='json' for a machine-fillable structure; default is a compact markdown file. Static content, nothing stored. lang='de' for German. |
lint_task_specread-only | 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 numbers, unnamed unhappy paths, missing file anchors). Returns a status table with evidence, the concrete questions that close each gap, and a fill-in skeleton. It checks form, not content — no LLM, nothing stored. Set lang='de' for a German report. |
plan_change_verificationread-only | 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. |
searchread-only | 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 governance — in English and German. Returns matching documents with title, URL, and snippet. Use fetch to read a result. |
validate_task_contractread-only | 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 leftover placeholders. Returns a verdict (PASS / PASS WITH WARNINGS / FAIL), four dimension scores, and a concrete fix per finding. Validates form and completeness, not correctness. No LLM, nothing stored. lang='de' for German. |
Schemas: list_tools.
{
"name": "dev.realitygraph/verification-tools",
"title": "Reality Graph Verification Tools",
"$schema": "https://static.modelcontextprotocol.io/schemas/2025-12-11/server.schema.json",
"remotes": [
{
"url": "https://realitygraph.dev/api/mcp",
"type": "streamable-http"
}
],
"version": "2.0.0",
"websiteUrl": "https://realitygraph.dev/mcp",
"description": "Read-only AI coding tools for change verification, release readiness, capacity, and guidance."
}