lean 4 mcp for LangChain
io.github.mrfentmen/lean-4-mcp
Lean 4 MCP: 20 real tools to read, check, lint, scaffold, build and run Lean 4 code.
client:LangChain
transport:stdio
runtime:npm
Install lean 4 mcp in LangChain
pip install langchain-mcp-adapters
from langchain_mcp_adapters.client import MultiServerMCPClient
client = MultiServerMCPClient({
"lean-4-mcp": {
"transport": "stdio",
"command": "npx",
"args": ["-y", "@mrfentmen/lean-4-mcp"],
}
})
tools = await client.get_tools()
get_tools() returns the server's tools as LangChain tools, ready for an agent. LangChain docs