Find · understand · set up

MCP servers in com.axiomatic-ai

Find the right publisher and setup for your task.

This is the last qualified snapshot, observed 2026-09-08. Source updates are not currently confirmed. Existing results remain available.

1 matching servers

Documented setup first

Registry listed

Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.

Remote serviceSetup requirements unknownObserved 2026-09-08

Browse source-listed entries