# Reality Graph Verification Tools (remote · realitygraph.dev)

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

- Trust score: 74/100 (medium)
- Change this week: +8
- Registry status: active
- Liveness: live
- Owner verified: no
- Last scored: 2026-08-03

## Components

- remote · `realitygraph.dev`: 74/100 (this document), [markdown](https://verifymcp.io/servers/dev-realitygraph-verification-tools/api-mcp.md), [page](https://verifymcp.io/servers/dev-realitygraph-verification-tools/api-mcp)

## Channel facts

- Endpoint: `https://realitygraph.dev/api/mcp`
- Transports: `streamable-http`
- Auth: `none`
- Version: `2.0.0`

## Trust breakdown

How this component scores in each security and reliability category. Every signal is checked automatically against the live server, and we only credit what we can confirm. Scores are 0–100 per category. Scoring method: https://verifymcp.io/docs/scoring (what has changed: https://verifymcp.io/docs/scoring/changelog)

Scored 2026-08-03.

- **Endpoint Security**: 80/100
  - The endpoint's TLS certificate is valid, in date, and uses a strong key.
  - No authorisation is required to call this server. Every tool declares its destructiveHint and none is destructive, so open access doesn't expose one.
  - HTTPS is enforced; there's no plaintext access path.
  - The HSTS (Strict-Transport-Security) header is present.
  - DNSSEC check failed: this domain isn't protected by DNSSEC.
- **Transport & Reachability**: 100/100
  - Verified streamable-http transport via a live MCP handshake.
- **Schema Quality & AI Usability**: 67/100
  - AI-judged instruction clarity (excellent).
  - Context-footprint check failed: tool/resource definitions use about 1724 tokens (~172/item across 10 items; 10 tools + 0 resources), over budget; trim descriptions and params.
  - Usage-examples check failed: none of the tools include examples.
- **Stability & Change Management**: 27/100
  - Stability observed for 8 of 30 days with no destabilising changes; credit accrues until the full window elapses.
- **Tool Coverage**: 92/100
  - 100% of tools have a non-trivial description (not blank, and not just the tool's name).
  - 73% of tool parameters carry a description.
  - Structured output schemas are declared (20% of tools); any adoption earns full credit.
- **Capabilities**: 100/100
  - Implements a supported MCP spec version (2025-11-25); the latest is 2026-07-28.

## Install

### Claude

```bash
claude mcp add --transport http dev-realitygraph-verification-tools https://realitygraph.dev/api/mcp
```

### Codex

```toml
[mcp_servers.dev-realitygraph-verification-tools]
url = "https://realitygraph.dev/api/mcp"
```

### opencode

```json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "dev-realitygraph-verification-tools": {
      "type": "remote",
      "url": "https://realitygraph.dev/api/mcp",
      "enabled": true
    }
  }
}
```

### OpenClaw

```bash
openclaw mcp add dev-realitygraph-verification-tools --url https://realitygraph.dev/api/mcp --transport streamable-http
```

### Hermes

```yaml
mcp_servers:
  dev-realitygraph-verification-tools:
    url: "https://realitygraph.dev/api/mcp"
```

### Other

```json
{
  "mcpServers": {
    "dev-realitygraph-verification-tools": {
      "type": "http",
      "url": "https://realitygraph.dev/api/mcp"
    }
  }
}
```

The mcpServers block is a cross-client convention. Remote transports vary, so check your client's docs.

## Changelog

Every change recorded for this component, newest first. Days that predate change tracking, or that we cannot explain, say so: "we were watching and nothing happened" and "we were not watching" are different claims.

### 2026-08-03 (score 74, +1)

No change was recorded against any check on this day. Stability & Change Management went from 23 to 27. That category is still filling its 30-day observation window: 7 days of observed history at the previous scan, 8 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-08-01 (score 73, +1)

No change was recorded against any check on this day. Stability & Change Management went from 17 to 20. That category is still filling its 30-day observation window: 5 days of observed history at the previous scan, 6 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-07-31 (score 72, +4)

- [functional] We updated how we score, so this day's move reflects our rubric, not a change to the server

### 2026-07-30 (score 68, 0)

- [functional] We updated how we score, so this day's move reflects our rubric, not a change to the server

### 2026-07-29 (score 68, +1)

No change was recorded against any check on this day. Stability & Change Management went from 7 to 10. That category is still filling its 30-day observation window: 2 days of observed history at the previous scan, 3 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-07-28 (score 67, +1)

No change was recorded against any check on this day. Stability & Change Management went from 3 to 7. That category is still filling its 30-day observation window: 1 days of observed history at the previous scan, 2 at this one. The score rises as the window fills, whether or not the server changes.

### 2026-07-27 (score 66, 0)

- [functional] We updated how we score, so this day's move reflects our rubric, not a change to the server

### 2026-07-26 (score 66)

First indexed and scored.

## MCP tools (10)

### `check_verification_debt` (~475 tokens)

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.

Input parameters:

- `ai_merges_per_month` (integer): AI-assisted merges per month (enables the unverified-merge rate)
- `ai_merges_with_evidence_per_month` (integer): AI-assisted merges per month with recorded validation evidence (enables the unverified-merge rate)
- `ai_share_percent` (number): Share of merges that are AI-assisted, in percent (default: 60, assumption)
- `hourly_rate_eur` (number): Loaded cost per engineer hour in EUR (default: 75, assumption)
- `hours_per_reworked_change` (number): Average hours per reworked change (default: 6, assumption)
- `incident_allowance_eur_per_year` (number): Annual incident allowance in EUR (default: 20000, widest error bar)
- `lang` (string): Report language (default: en)
- `merged_loc_per_week` (number): Merged changed lines of code per week (enables the GVR and review-depth metrics)
- `prs_per_month` (integer): Total merged PRs per month (default: derived from team size)
- `review_reconstruction_hours_per_pr` (number): Average reviewer hours spent reconstructing intent per AI-assisted PR (default: 0.5, assumption)
- `reviewer_hours_per_week` (number): Reviewer hours actually spent per week (enables the GVR metric)
- `substantive_review_comments_per_week` (number): Substantive review comments per week, excluding bots and nitpicks (enables the review-depth metric)
- `team_size` (integer, required): Number of developers on the team (required)
- `two_week_churn_percent` (number): Share of new lines revised or reverted within 14 days, in percent (default: published GitClear trend delta as assumption)

### `lint_task_spec` (~161 tokens)

Lint a task specification

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.

Input parameters:

- `lang` (string): Report language (default: en)
- `task` (string, required): The work order / task text you intend to give an AI coding agent (English or German)

### `get_task_contract_template` (~149 tokens)

Get the verifiable 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.

Input parameters:

- `format` (string): Template format (default: markdown)
- `lang` (string): Language (default: en)

### `validate_task_contract` (~153 tokens)

Validate a filled 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.

Input parameters:

- `contract` (string, required): The filled task contract as a JSON string (structure from get_task_contract_template, format='json')
- `lang` (string): Report language (default: en)

### `get_verification_report_template` (~127 tokens)

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

Input parameters:

- `format` (string): Template format (default: markdown)
- `lang` (string): Language (default: en)

### `search` (~125 tokens)

Search the Reality Graph knowledge base

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.

Input parameters:

- `lang` (string): Restrict results to one language (default: both)
- `query` (string, required): Search query (English or German)

Output parameters:

- `results` (array)

### `fetch` (~82 tokens)

Fetch a knowledge base document

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.

Input parameters:

- `id` (string, required): Document id from search results, or a realitygraph.dev URL

Output parameters:

- `id` (string)
- `metadata` (object)
- `text` (string)
- `title` (string)
- `url` (string)

### `plan_change_verification` (~126 tokens)

Plan verification for a change

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.

Input parameters:

- `blast_radius` (string, required): Largest expected impact boundary
- `change_summary` (string, required): Plain-language summary of the change
- `change_types` (array, required): Technical and risk-relevant change types
- `lang` (string): Response language (default: en)
- `rollback` (string, required): Current rollback or recovery state

### `check_release_readiness` (~202 tokens)

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.

Input parameters:

- `acceptance_criteria_failed` (integer, required)
- `acceptance_criteria_not_run` (integer, required)
- `acceptance_criteria_passed` (integer, required)
- `blast_radius` (string, required): Largest expected impact boundary
- `change_summary` (string, required): Plain-language summary of the change
- `change_types` (array, required): Technical and risk-relevant change types
- `checks` (array, required)
- `independent_review` (boolean, required)
- `known_limitations_recorded` (boolean, required)
- `lang` (string): Response language (default: en)
- `monitoring_ready` (boolean, required)
- `rollback` (string, required): Current rollback or recovery state
- `rollback_ready` (boolean, required)

### `calculate_verification_capacity` (~124 tokens)

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.

Input parameters:

- `ai_changes_per_week` (integer, required)
- `available_reviewer_hours_per_week` (number, required)
- `average_review_minutes_per_change` (number, required)
- `evidence_coverage_percent` (number, required)
- `lang` (string): Response language (default: en)
- `two_week_churn_percent` (number)

## Diagnostics

Captured diagnostic sections: TLS, DNSSEC, Authorisation, Transports. The full working is on the page: https://verifymcp.io/servers/dev-realitygraph-verification-tools/api-mcp#diagnostics

## Score history

- 2026-08-03: 74
- 2026-08-02: 73
- 2026-08-01: 73
- 2026-07-31: 72
- 2026-07-30: 68
- 2026-07-29: 68
- 2026-07-28: 67
- 2026-07-27: 66
- 2026-07-26: 66

## Links

- Remote endpoint: https://realitygraph.dev/api/mcp
- Website: https://realitygraph.dev/mcp
- Changelog RSS feed: https://verifymcp.io/servers/dev-realitygraph-verification-tools/api-mcp/changelog.xml
- Changelog JSON feed: https://verifymcp.io/servers/dev-realitygraph-verification-tools/api-mcp/changelog.json
- HTML version of this page: https://verifymcp.io/servers/dev-realitygraph-verification-tools/api-mcp