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
configure_conjecture
Configure a finite simple graph conjecture in the visible workbench. Omitted fields keep their current values. This changes the shared page but does not run a search.
Page: /finite-witness-webmcp/
Input schema
| Property | Type | Required | Description |
|---|---|---|---|
name |
string | no | — |
connected |
boolean | no | — |
min_degree |
integer,null | no | — |
bipartite |
string | no | — |
triangle_free |
boolean | no | — |
all_even_degrees |
boolean | no | — |
even_order |
boolean | no | — |
edge_surplus |
integer,null | no | — |
max_diameter |
integer,null | no | — |
conclusion |
string | no | — |
max_vertices |
integer | no | — |
Raw JSON schema
{
"type": "object",
"properties": {
"name": {
"type": "string",
"minLength": 1,
"maxLength": 72
},
"connected": {
"type": "boolean"
},
"min_degree": {
"type": [
"integer",
"null"
],
"minimum": 1,
"maximum": 3
},
"bipartite": {
"type": "string",
"enum": [
"any",
"yes",
"no"
]
},
"triangle_free": {
"type": "boolean"
},
"all_even_degrees": {
"type": "boolean"
},
"even_order": {
"type": "boolean"
},
"edge_surplus": {
"type": [
"integer",
"null"
],
"enum": [
null,
0,
1
]
},
"max_diameter": {
"type": [
"integer",
"null"
],
"enum": [
null,
2,
3
]
},
"conclusion": {
"type": "string",
"enum": [
"contains_triangle",
"is_cycle",
"is_bipartite",
"has_perfect_matching",
"has_even_edge_count",
"diameter_at_most_2"
]
},
"max_vertices": {
"type": "integer",
"minimum": 3,
"maximum": 6
}
},
"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