Developer Tools

realitygraph.dev

Provides tools to estimate verification debt, lint AI coding task specs, and manage task contracts for verifiable software development.

1 endpoint7 known toolsFirst detected July 13, 2026Last detected July 13, 2026

ENDPOINT 1

https://realitygraph.dev/api/mcp

No auth detected

Known tools 7

check_verification_debt

Estimate a software team's verification debt from team parameters.

lint_task_spec

Check whether a free-text work order for an AI coding agent is verifiable BEFORE handing it over.

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.

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.

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.

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.

fetch

Fetch a document from the Reality Graph knowledge base by id (as returned by search, e.g.