f0909172434.github.io
Finite Witness stress-tests finite graph conjectures and returns the first inspectable counterexample through one shared human-agent workspace.
First seen 2026-11-05 · Last seen 2026-11-05 · Source: webmcp.com
Answer 2 · Act 6 · Transact 0 · Score: Not yet scored
Tool inspector
apply_conjecture_repair
Apply one suggested repair to the shared conjecture and optionally run the next exhaustive search. This creates a visible, verifiable human-agent repair loop.
Page: /finite-witness-webmcp/
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
repair_id |
string | yes | — |
run_search |
boolean | no | When true, immediately test the repaired conjecture. |
Raw JSON schema
{
"type": "object",
"properties": {
"repair_id": {
"type": "string",
"enum": [
"min-degree-3",
"non-bipartite",
"diameter-2",
"edge-surplus-1",
"all-even"
]
},
"run_search": {
"type": "boolean",
"description": "When true, immediately test the repaired conjecture."
}
},
"required": [
"repair_id"
],
"additionalProperties": false
}
Similar websites
pocketgull.app
Pocket Gull is a real-time clinical AI consult engine powered by Google Gemini. Features 10D multi-paradigm strategy, FHIR R4 export & 3D spatial anatomy.
webmcp-six-lac.vercel.app
AI Navigation Layer: Model Context Protocol (MCP) Semantic DOM integration for intelligent, safe, and observable web navigation.
ghqsandbox.net
Interactive math and physics tools an AI agent can drive directly through WebMCP.
app.formative.com
Formative classroom assessment and learning platform