lean-lsp-mcp / setup / crewai
Setup guide
Set up lean-lsp-mcp in CrewAI
communitystdiowrite capableno verified config · noindex
Lean Theorem Prover MCP
01Configuration
# lean-lsp-mcp via CrewAI
# transport: stdio
# launch: uvx lean-lsp-mcp
CrewAI connects to MCP servers in code. Use its MCP client with the command/URL below; exact API varies by version.
02Steps
- Make sure CrewAI is installed and up to date.
- Wire the server into CrewAI using its MCP client API.
- Provide any required API keys/credentials as environment variables.
- Restart CrewAI and confirm lean-lsp-mcp’s tools appear.
03Other runtimes
04Provenance
config_sourcegenerated from captured install method
last_checked2026-08-16 14:22Z
sourcesGitHub repo search [p4]
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