dev.realitygraph/verification-tools

Official7 tools

Reality Graph Verification Tools

Free read-only AI coding verification tools: verification-debt calculator, task-spec lint, search.

Free read-only tools for AI code verification including debt calculation and task specification linting.

Captured live from the server via tools/list.

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 (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.

Parameters (14)

team_sizeintegerrequired
Number of developers on the team (required)
ai_share_percentnumber
Share of merges that are AI-assisted, in percent (default: 60, assumption)
prs_per_monthinteger
Total merged PRs per month (default: derived from team size)
merged_loc_per_weeknumber
Merged changed lines of code per week (enables the GVR and review-depth metrics)
reviewer_hours_per_weeknumber
Reviewer hours actually spent per week (enables the GVR metric)
substantive_review_comments_per_weeknumber
Substantive review comments per week, excluding bots and nitpicks (enables the review-depth metric)
ai_merges_per_monthinteger
AI-assisted merges per month (enables the unverified-merge rate)
ai_merges_with_evidence_per_monthinteger
AI-assisted merges per month with recorded validation evidence (enables the unverified-merge rate)
two_week_churn_percentnumber
Share of new lines revised or reverted within 14 days, in percent (default: published GitClear trend delta as assumption)
hourly_rate_eurnumber
Loaded cost per engineer hour in EUR (default: 75, assumption)
hours_per_reworked_changenumber
Average hours per reworked change (default: 6, assumption)
review_reconstruction_hours_per_prnumber
Average reviewer hours spent reconstructing intent per AI-assisted PR (default: 0.5, assumption)
incident_allowance_eur_per_yearnumber
Annual incident allowance in EUR (default: 20000, widest error bar)
langstring
Report language (default: en)

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 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.

Parameters (2)

taskstringrequired
The work order / task text you intend to give an AI coding agent (English or German)
langstring
Report language (default: en)

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. 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.

Parameters (2)

formatstring
Template format (default: markdown)
langstring
Language (default: en)

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 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.

Parameters (2)

contractstringrequired
The filled task contract as a JSON string (structure from get_task_contract_template, format='json')
langstring
Report language (default: en)

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 the explicit decision. format='json' for a machine-fillable structure; default is a compact markdown file. Static content, nothing stored. lang='de' for German.

Parameters (2)

formatstring
Template format (default: markdown)
langstring
Language (default: en)

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 governance — in English and German. Returns matching documents with title, URL, and snippet. Use fetch to read a result.

Parameters (2)

querystringrequired
Search query (English or German)
langstring
Restrict results to one language (default: both)

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.

Parameters (1)

idstringrequired
Document id from search results, or a realitygraph.dev URL

Install

claude_desktop_config.json

{
  "mcpServers": {
    "verification-tools": {
      "command": "npx",
      "args": [
        "-y",
        "mcp-remote",
        "https://realitygraph.dev/api/mcp"
      ]
    }
  }
}

Desktop config is stdio-only; this bridges via mcp-remote. Native remote: Settings > Connectors.