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
suggest_conjecture_repairs
Return up to three stronger assumptions that exclude the current counterexample, including machine-readable patches and the resulting next claim. Suggestions are hypotheses, not proofs.
Page: /finite-witness-webmcp/
Input schema
No input properties (empty object).
Raw JSON schema
{
"type": "object",
"properties": {},
"required": [],
"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