← WebMCP Directory

f0909172434.github.io

f0909172434.github.io

live Unverified (seed import) Health & Education 8 tools imperative implementation
Open website How verification works

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

get_workspace_state

answer imperative

Read the current Finite Witness conjecture, search bound, latest result, and saved evidence without changing the workspace.

Page: /finite-witness-webmcp/

Input schema

No input properties (empty object).

Raw JSON schema 
{
  "type": "object",
  "properties": {},
  "required": [],
  "additionalProperties": false
}

Similar websites

pocketgull.app

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.

live Unverified Health & Education Transact tools
98 tools A20 / Act75 / T3 Not yet scored Seen 2026-11-05
generate_medical_summary translate_clinical_text get_current_patient_data navigate_to_body_part inject_clinical_note
Inspect tools
webmcp-six-lac.vercel.app

webmcp-six-lac.vercel.app

AI Navigation Layer: Model Context Protocol (MCP) Semantic DOM integration for intelligent, safe, and observable web navigation.

live Unverified Health & Education
93 tools A4 / Act89 / T0 Not yet scored Seen 2026-11-05
ver_certificados ver_certificado_react meus_cursos abrir_curso_react abrir_curso_nextjs
Inspect tools
ghqsandbox.net

ghqsandbox.net

Interactive math and physics tools an AI agent can drive directly through WebMCP.

live Unverified Health & Education
91 tools A22 / Act69 / T0 Not yet scored Seen 2026-11-05
list_learning_tools open_tool list_expressions add_expression plot_point
Inspect tools
app.formative.com

app.formative.com

Formative classroom assessment and learning platform

live Unverified Health & Education Transact tools
86 tools A41 / Act36 / T9 Not yet scored Seen 2026-11-05
addFolder addFormative addFormativeItem addOneRoster addOrg
Inspect tools

Related on Influzer