dev.realitygraph/verification-tools

up checked 2026-11-11T06:40:10.154Z

Unclaimed · Unverified

Agent searches it appeared in, last 30 days: 0. Run this server? Claim the listing: verified label, uptime alerts and analytics.

Publisher-provided title

Reality Graph Verification Tools

Publisher-provided description

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

Summary by lookupd

Assesses AI-generated code changes: verification debt, release readiness, review capacity, task spec linting, and search of verification…

Install

Claude Code, remote (streamable-http)

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

Codex, remote (streamable-http)

codex mcp add verification-tools --url https://realitygraph.dev/api/mcp

Cursor, remote (streamable-http) → .cursor/mcp.json

{
  "mcpServers": {
    "verification-tools": {
      "url": "https://realitygraph.dev/api/mcp"
    }
  }
}

Other clients: docs. Or tell your agent: Set up lookupd for me: read https://lookupd.com/agent.md and follow it.

Tools (10 tools)

Publisher-provided text

• check_verification_debt Estimate a software team's verification debt from team parameters. Computes the four published metrics (generation-to-verification ratio, review depth, unverifi
• 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 f
• 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 y
• validate_task_contract Deterministically validates a FILLED task contract (the JSON structure from get_task_contract_template): completeness of goal/non-goals/boundaries, decidability
• 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 co
• search Full-text search over the Reality Graph knowledge base on AI coding verification: 40+ glossary definitions, 700+ FAQ answers, sourced statistics, and article su
• 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 doc
• plan_change_verification Turn explicit change characteristics into a risk tier, required automated checks, manual scenarios, evidence, release blockers, role handoff, and canonical Real
• check_release_readiness Return GO, CONDITIONAL, or NO_GO from supplied acceptance-criterion results, check evidence, rollback, monitoring, limitations, and independent review. The verd
• calculate_verification_capacity Calculate weekly review demand, utilization, capacity gap, supported change throughput, and changes lacking evidence from measured team inputs. No cost model, b

Details

• Version: 2.0.0
• Transports: streamable-http
• Uptime (7 days): 100%
• Median latency: 753 ms
• First indexed: 2026-11-01T09:01:29.653Z
• Last seen in registry: 2026-11-01T09:01:29.663Z
• Website: https://realitygraph.dev/mcp

Badge for your README

Shows this live status and links here; updates hourly.

[![lookupd status](https://lookupd.com/badge/dev.realitygraph/verification-tools.svg)](https://lookupd.com/servers/dev.realitygraph/verification-tools)

• 62071 servers
• Last crawl: 2026-11-11T16:17:25.167Z
• API base: https://api.lookupd.com
• MCP URL: https://api.lookupd.com/mcp