mcpexplorer.com
com-axiomatic-ai-prover / setup / crewai
Setup guide

Set up com.axiomatic-ai/prover in CrewAI

communitystreamable_httpunknownno verified config · noindex

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

01Configuration
# com.axiomatic-ai/prover via CrewAI # transport: streamable_http # launch: https://prover.axiomatic-ai.com/mcp/

CrewAI connects to MCP servers in code. Use its MCP client with the command/URL below; exact API varies by version.

02Steps
  1. Make sure CrewAI is installed and up to date.
  2. Wire the server into CrewAI using its MCP client API.
  3. Provide any required API keys/credentials as environment variables.
  4. Restart CrewAI and confirm com.axiomatic-ai/prover’s tools appear.
03Other runtimes
Claude DesktopCursorWindsurfClineContinueGooseVS CodeOpenAI Agents SDKLangGraph
04Provenance
config_sourcegenerated from captured install method
last_checked2026-07-07 08:42Z
sourcesOfficial MCP Registry [p1]
Next step

Want agents that act within guardrails? Apex is the live governed-agent product — paced, capped, and fully-logged actions with approvals before anything runs.

Explore Apex →

See also: server page · is it safe? · alternatives