Pack local or remote codebases into AI-friendly files that LLMs and coding agents can read or search
Nothing to run from here
Reality Graph Verification Tools is installed from its publisher's own source and answers where it runs, so this marketplace is not in the path of a single call. There is no address here to send one to, and a panel that pretended otherwise would be showing you an answer we made up. Install it and call it from your own client — the Installation tab has the entry for each one.
10
tools declared
—
trust score
remote
at its publisher
—
calls last 7d
What it does
Read-only AI coding tools for change verification, release readiness, capacity, and guidance.
Quickstart
# 1 — add it to Claude Code
claude mcp add --scope user --transport http reality-graph-verification-tools-mcp https://realitygraph.dev/api/mcp
# 2 — ask your agent for something these tools do
# check_verification_debt, lint_task_spec, get_task_contract_template and 7 more
Reality Graph Verification Tools costs nothing on mcprush: there is no plan to choose here, no cap to set and nothing mcprush can bill you for.
Publishernot claimed
REAll 1 server
realitygraph1 server
1 category
Collected from a public index. Nobody has claimed this account, so nothing here was written by its author — claim it if it is yours.
Installation
Where are you running it?
Every route below installs the same thing and ends at the same approval screen. Nothing here runs on your machine and nothing runs on ours: this server answers at its publisher’s own address, and what you install is the connection straight to it.
Claude Codedeclared by this listing
This is a public server: it answers at its publisher’s own address and this marketplace is not in the path. Claude Code registers it in one command; --scope user makes it available in every project. The transport below is http, as the publisher's own manifest declares it.
claude mcp add --scope user --transport http reality-graph-verification-tools-mcp https://realitygraph.dev/api/mcpReconnect, or start a new session, and the tools appear in the model’s tool list.
Free on mcprush, and it answers at its publisher’s own address: this marketplace is not in the path, so there is no key of ours to hold and no card to add.
What it writes
One config entry pointing straight at the publisher’s own address — this marketplace is not in the path, and nothing from this listing executes on your machine.
What you approve
10 tools, with what each one reads, writes and reaches shown before you agree — the same list on every route above. Read the tool surface.
Tool surface
What the model actually sees. Descriptions are diffed on every release — see version history.
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 claim
| Parameter | Type | Required | Notes |
|---|---|---|---|
| team_size | integer | yes | Number of developers on the team (required) |
| ai_share_percent | number | no | Share of merges that are AI-assisted, in percent (default: 60, assumption) |
| prs_per_month | integer | no | Total merged PRs per month (default: team_size x prs_per_engineer_per_month) |
| merged_loc_per_week | number | no | Merged changed lines of code per week (enables the GVR and review-depth metrics) |
| reviewer_hours_per_week | number | no | Reviewer hours actually spent per week (enables the GVR metric) |
| substantive_review_comments_per_week | number | no | Substantive review comments per week, excluding bots and nitpicks (enables the review-depth metric) |
| ai_merges_per_month | integer | no | AI-assisted merges per month (enables the unverified-merge rate) |
| ai_merges_with_evidence_per_month | integer | no | AI-assisted merges per month with recorded validation evidence (enables the unverified-merge rate) |
| two_week_churn_percent | number | no | Share of new lines revised or reverted within 14 days, in percent. A warning signal in the metrics block; it never enters the cost model, because it measures lines and the cost model counts changes |
| rework_rate_percent | number | no | Share of AI-assisted changes reworked for a defect within 14 days, in percent (default: 2, the illustrative rate from /cost-of-verification-debt - replace it with your own reason-coded rate) |
| prs_per_engineer_per_month | number | no | Merged PRs per engineer per month (default: 20, derived from the published worked report on /measure-verification-debt) |
| hourly_rate_eur | number | no | Loaded cost per engineer hour in EUR (default: 75, assumption) |
| hours_per_reworked_change | number | no | Average hours per reworked change (default: 6, assumption) |
| review_reconstruction_hours_per_pr | number | no | Average reviewer hours spent reconstructing intent per AI-assisted PR (default: 0.5, assumption) |
| incident_allowance_eur_per_year | number | no | Annual incident allowance in EUR (default: 0; add one only when you have a locally defined incident class, frequency and expected-loss method) |
| lang | string | no | Report language (default: en) |
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 con
| Parameter | Type | Required | Notes |
|---|---|---|---|
| task | string | yes | The work order / task text you intend to give an AI coding agent (English or German) |
| lang | string | no | Report language (default: en) |
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
| Parameter | Type | Required | Notes |
|---|---|---|---|
| format | string | no | Template format (default: markdown) |
| lang | string | no | Language (default: en) |
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
| Parameter | Type | Required | Notes |
|---|---|---|---|
| contract | string | yes | The filled task contract as a JSON string (structure from get_task_contract_template, format='json') |
| lang | string | no | Report language (default: en) |
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 f
| Parameter | Type | Required | Notes |
|---|---|---|---|
| format | string | no | Template format (default: markdown) |
| lang | string | no | Language (default: en) |
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 re
| Parameter | Type | Required | Notes |
|---|---|---|---|
| query | string | yes | Search query (English or German) |
| lang | string | no | Restrict results to one language (default: both) |
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.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| id | string | yes | Document id from search results, or a realitygraph.dev URL |
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.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| change_summary | string | yes | Plain-language summary of the change |
| change_types | array | yes | Technical and risk-relevant change types |
| blast_radius | string | yes | Largest expected impact boundary |
| rollback | string | yes | Current rollback or recovery state |
| lang | string | no | Response language (default: en) |
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.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| change_summary | string | yes | Plain-language summary of the change |
| change_types | array | yes | Technical and risk-relevant change types |
| blast_radius | string | yes | Largest expected impact boundary |
| rollback | string | yes | Current rollback or recovery state |
| lang | string | no | Response language (default: en) |
| acceptance_criteria_passed | integer | yes | — |
| acceptance_criteria_failed | integer | yes | — |
| acceptance_criteria_not_run | integer | yes | — |
| checks | array | yes | — |
| rollback_ready | boolean | yes | — |
| monitoring_ready | boolean | yes | — |
| known_limitations_recorded | boolean | yes | — |
| independent_review | boolean | yes | — |
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.
| Parameter | Type | Required | Notes |
|---|---|---|---|
| ai_changes_per_week | integer | yes | — |
| average_review_minutes_per_change | number | yes | — |
| available_reviewer_hours_per_week | number | yes | — |
| evidence_coverage_percent | number | yes | — |
| two_week_churn_percent | number | no | — |
| lang | string | no | Response language (default: en) |
Free
$0 forever
- Every tool — any call limit is its publisher’s, not ours
- No card, and mcprush charges nothing for it
- Runs at its publisher’s own address — this marketplace is not in the path
- Nothing to cap, because mcprush bills nothing
What counts against your monthly calls
| Tool | Unit | Calls used | Out of the allowance |
|---|
Nothing here is billable: mcprush charges nothing to install Reality Graph Verification Tools or to call it, at any volume.
Call allowance · this installenforced at the gateway
Monthly allowance, in calls
—
—
Alert at 80% · then the tool returns a normal MCP error
Used this month: —
—Grade not published
No rule-by-rule report on file for this release
Two independent axes, because powerful and malicious are different questions. The grade is threat only. The capability level is blast radius, and it is never a penalty on the grade — it is priced as one subtract-only term in the score, where you can see it.
This listing is an address its publisher runs, and you connect to it directly — this marketplace is not in the path. The scanner reads packages and public source, and an address is neither. So there is no grade — not a withheld one, an unmeasured one.
Release history
This is an address its publisher runs: which release it serves is theirs to choose, so there is nothing here to pin. The history below is for reading; the current release on file is 2.0.0.
2.0.0
undated
latestNo release note was published with this version.
—
no reviews yet
Who can review
One review per account, from a signed-in account that does not publish this listing. Nothing else is asked — you can say what you think before you install it. Publishers can reply once per review, and a review can be edited or deleted by whoever wrote it.
Sign in to write one
Any signed-in account that does not publish Reality Graph Verification Tools can review it, once — before installing it or after. A review from an account that has installed it is marked as one.
No reviews yet
Nobody has reviewed this listing. The rating on the card is the mean of the reviews written here and nothing else, so there is no rating until somebody writes the first — which takes a signed-in account that does not publish it, and nothing else.