Server definition
- Hash
- sha256:a7dc6136ec655b9a398906aa0329056970e5e8e4879e3998500ce3b32cbe3708
- What it is
- What a remote MCP server returned when asked what it offers: 10 tools
The blob, as servednamed by its sha256
{
"instructions": null,
"tools": [
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"ai_changes_per_week": {
"maximum": 1000000,
"minimum": 0,
"type": "integer"
},
"available_reviewer_hours_per_week": {
"maximum": 100000,
"minimum": 0,
"type": "number"
},
"average_review_minutes_per_change": {
"maximum": 10000,
"minimum": 0.1,
"type": "number"
},
"evidence_coverage_percent": {
"maximum": 100,
"minimum": 0,
"type": "number"
},
"lang": {
"description": "Response language (default: en)",
"enum": [
"en",
"de"
],
"type": "string"
},
"two_week_churn_percent": {
"maximum": 100,
"minimum": 0,
"type": "number"
}
},
"required": [
"ai_changes_per_week",
"average_review_minutes_per_change",
"available_reviewer_hours_per_week",
"evidence_coverage_percent"
],
"type": "object"
},
"name": "calculate_verification_capacity",
"outputSchema": null
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"acceptance_criteria_failed": {
"maximum": 10000,
"minimum": 0,
"type": "integer"
},
"acceptance_criteria_not_run": {
"maximum": 10000,
"minimum": 0,
"type": "integer"
},
"acceptance_criteria_passed": {
"maximum": 10000,
"minimum": 0,
"type": "integer"
},
"blast_radius": {
"description": "Largest expected impact boundary",
"enum": [
"single_component",
"service",
"multi_service",
"customer_data",
"production_wide"
],
"type": "string"
},
"change_summary": {
"description": "Plain-language summary of the change",
"maxLength": 2000,
"minLength": 10,
"type": "string"
},
"change_types": {
"description": "Technical and risk-relevant change types",
"items": {
"enum": [
"ui",
"api",
"auth",
"database",
"payments",
"personal_data",
"dependency",
"infrastructure",
"public_api",
"compliance"
],
"type": "string"
},
"maxItems": 10,
"minItems": 1,
"type": "array"
},
"checks": {
"items": {
"properties": {
"evidence": {
"maxLength": 1000,
"type": "string"
},
"kind": {
"enum": [
"build",
"lint",
"typecheck",
"unit",
"integration",
"e2e",
"accessibility",
"security",
"migration",
"manual"
],
"type": "string"
},
"name": {
"maxLength": 200,
"minLength": 1,
"type": "string"
},
"status": {
"enum": [
"pass",
"fail",
"not_run"
],
"type": "string"
}
},
"required": [
"kind",
"status"
],
"type": "object"
},
"maxItems": 100,
"type": "array"
},
"independent_review": {
"type": "boolean"
},
"known_limitations_recorded": {
"type": "boolean"
},
"lang": {
"description": "Response language (default: en)",
"enum": [
"en",
"de"
],
"type": "string"
},
"monitoring_ready": {
"type": "boolean"
},
"rollback": {
"description": "Current rollback or recovery state",
"enum": [
"automatic",
"documented",
"manual",
"none",
"unknown"
],
"type": "string"
},
"rollback_ready": {
"type": "boolean"
}
},
"required": [
"change_summary",
"change_types",
"blast_radius",
"rollback",
"acceptance_criteria_passed",
"acceptance_criteria_failed",
"acceptance_criteria_not_run",
"checks",
"rollback_ready",
"monitoring_ready",
"known_limitations_recorded",
"independent_review"
],
"type": "object"
},
"name": "check_release_readiness",
"outputSchema": null
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"ai_merges_per_month": {
"description": "AI-assisted merges per month (enables the unverified-merge rate)",
"maximum": 100000,
"minimum": 0,
"type": "integer"
},
"ai_merges_with_evidence_per_month": {
"description": "AI-assisted merges per month with recorded validation evidence (enables the unverified-merge rate)",
"maximum": 100000,
"minimum": 0,
"type": "integer"
},
"ai_share_percent": {
"description": "Share of merges that are AI-assisted, in percent (default: 60, assumption)",
"maximum": 100,
"minimum": 0,
"type": "number"
},
"hourly_rate_eur": {
"description": "Loaded cost per engineer hour in EUR (default: 75, assumption)",
"maximum": 1000,
"minimum": 1,
"type": "number"
},
"hours_per_reworked_change": {
"description": "Average hours per reworked change (default: 6, assumption)",
"maximum": 100,
"minimum": 0.1,
"type": "number"
},
"incident_allowance_eur_per_year": {
"description": "Annual incident allowance in EUR (default: 0; add one only when you have a locally defined incident class, frequency and expected-loss method)",
"maximum": 10000000,
"minimum": 0,
"type": "number"
},
"lang": {
"description": "Report language (default: en)",
"enum": [
"en",
"de"
],
"type": "string"
},
"merged_loc_per_week": {
"description": "Merged changed lines of code per week (enables the GVR and review-depth metrics)",
"maximum": 100000000,
"minimum": 0,
"type": "number"
},
"prs_per_engineer_per_month": {
"description": "Merged PRs per engineer per month (default: 20, derived from the published worked report on /measure-verification-debt)",
"maximum": 500,
"minimum": 0.1,
"type": "number"
},
"prs_per_month": {
"description": "Total merged PRs per month (default: team_size x prs_per_engineer_per_month)",
"maximum": 100000,
"minimum": 1,
"type": "integer"
},
"review_reconstruction_hours_per_pr": {
"description": "Average reviewer hours spent reconstructing intent per AI-assisted PR (default: 0.5, assumption)",
"maximum": 20,
"minimum": 0,
"type": "number"
},
"reviewer_hours_per_week": {
"description": "Reviewer hours actually spent per week (enables the GVR metric)",
"maximum": 10000,
"minimum": 0,
"type": "number"
},
"rework_rate_percent": {
"description": "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)",
"maximum": 100,
"minimum": 0,
"type": "number"
},
"substantive_review_comments_per_week": {
"description": "Substantive review comments per week, excluding bots and nitpicks (enables the review-depth metric)",
"maximum": 1000000,
"minimum": 0,
"type": "number"
},
"team_size": {
"description": "Number of developers on the team (required)",
"maximum": 500,
"minimum": 1,
"type": "integer"
},
"two_week_churn_percent": {
"description": "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",
"maximum": 100,
"minimum": 0,
"type": "number"
}
},
"required": [
"team_size"
],
"type": "object"
},
"name": "check_verification_debt",
"outputSchema": null
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"id": {
"description": "Document id from search results, or a realitygraph.dev URL",
"maxLength": 300,
"minLength": 1,
"type": "string"
}
},
"required": [
"id"
],
"type": "object"
},
"name": "fetch",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"id": {
"type": "string"
},
"metadata": {
"additionalProperties": {
"type": "string"
},
"propertyNames": {
"type": "string"
},
"type": "object"
},
"text": {
"type": "string"
},
"title": {
"type": "string"
},
"url": {
"type": "string"
}
},
"required": [
"id",
"title",
"text",
"url"
],
"type": "object"
}
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"format": {
"description": "Template format (default: markdown)",
"enum": [
"markdown",
"json"
],
"type": "string"
},
"lang": {
"description": "Language (default: en)",
"enum": [
"en",
"de"
],
"type": "string"
}
},
"type": "object"
},
"name": "get_task_contract_template",
"outputSchema": null
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"format": {
"description": "Template format (default: markdown)",
"enum": [
"markdown",
"json"
],
"type": "string"
},
"lang": {
"description": "Language (default: en)",
"enum": [
"en",
"de"
],
"type": "string"
}
},
"type": "object"
},
"name": "get_verification_report_template",
"outputSchema": null
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"lang": {
"description": "Report language (default: en)",
"enum": [
"en",
"de"
],
"type": "string"
},
"task": {
"description": "The work order / task text you intend to give an AI coding agent (English or German)",
"maxLength": 8000,
"minLength": 10,
"type": "string"
}
},
"required": [
"task"
],
"type": "object"
},
"name": "lint_task_spec",
"outputSchema": null
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"blast_radius": {
"description": "Largest expected impact boundary",
"enum": [
"single_component",
"service",
"multi_service",
"customer_data",
"production_wide"
],
"type": "string"
},
"change_summary": {
"description": "Plain-language summary of the change",
"maxLength": 2000,
"minLength": 10,
"type": "string"
},
"change_types": {
"description": "Technical and risk-relevant change types",
"items": {
"enum": [
"ui",
"api",
"auth",
"database",
"payments",
"personal_data",
"dependency",
"infrastructure",
"public_api",
"compliance"
],
"type": "string"
},
"maxItems": 10,
"minItems": 1,
"type": "array"
},
"lang": {
"description": "Response language (default: en)",
"enum": [
"en",
"de"
],
"type": "string"
},
"rollback": {
"description": "Current rollback or recovery state",
"enum": [
"automatic",
"documented",
"manual",
"none",
"unknown"
],
"type": "string"
}
},
"required": [
"change_summary",
"change_types",
"blast_radius",
"rollback"
],
"type": "object"
},
"name": "plan_change_verification",
"outputSchema": null
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"lang": {
"description": "Restrict results to one language (default: both)",
"enum": [
"en",
"de"
],
"type": "string"
},
"query": {
"description": "Search query (English or German)",
"maxLength": 300,
"minLength": 2,
"type": "string"
}
},
"required": [
"query"
],
"type": "object"
},
"name": "search",
"outputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"additionalProperties": false,
"properties": {
"results": {
"items": {
"additionalProperties": false,
"properties": {
"id": {
"type": "string"
},
"snippet": {
"type": "string"
},
"title": {
"type": "string"
},
"url": {
"type": "string"
}
},
"required": [
"id",
"title",
"url",
"snippet"
],
"type": "object"
},
"type": "array"
}
},
"required": [
"results"
],
"type": "object"
}
},
{
"description": "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.",
"inputSchema": {
"$schema": "http://json-schema.org/draft-07/schema#",
"properties": {
"contract": {
"description": "The filled task contract as a JSON string (structure from get_task_contract_template, format='json')",
"maxLength": 16000,
"minLength": 20,
"type": "string"
},
"lang": {
"description": "Report language (default: en)",
"enum": [
"en",
"de"
],
"type": "string"
}
},
"required": [
"contract"
],
"type": "object"
},
"name": "validate_task_contract",
"outputSchema": null
}
]
}Verify it yourself
curl -s https://api.teppi.xyz/v1/evidence/sha256:a7dc6136ec655b9a398906aa0329056970e5e8e4879e3998500ce3b32cbe3708 | sha256sum