mcphub.in
Loading languages...
LE

lean-lsp-mcp

@oOo0oOo92

Lean Theorem Prover MCP

lean
theorem prover
lsp
mathematics
formal verification

# mcpServer Config 

{
  "servers": {
    "lean-lsp": {
      "type": "stdio",
      "command": "uvx",
      "args": [
        "lean-lsp-mcp"
      ],
      "env": {
        "LEAN_PROJECT_PATH": "/path/to/lean/project"
      }
    }
  }
}

# stdio 

uvx lean-lsp-mcp
view tools online

# sseURL 

http://127.0.0.1:8000/sse

# streamableURL 

http://127.0.0.1:8000/mcp
Transport:
stdio
streamable
sse
भाषा:
Python
बनाया गया:3/29/2025
अद्यतन किया गया:7/31/2025
मुखपृष्ठ:

Recommend MCP Servers 💡

mcp-server-taskwarrior

mcp-server-taskwarrior

awwaiid

Node.js server implementing Model Context Protocol (MCP) for TaskWarrior operations. Allows viewing, filtering, adding, and marking tasks as complete.

2025-07-23
JavaScript
xcodebuildmcp

xcodebuildmcp

cameroncooke

An MCP server providing Xcode-related tools for AI assistants and MCP clients.

2025-03-09
TypeScript
arvindand/maven-tools-mcp

arvindand/maven-tools-mcp

arvindand

MCP server providing AI assistants with Maven Central dependency intelligence for JVM build tools

2025-06-06
Java
mcp-server-k8s

mcp-server-k8s

chris-sun-star

A simple MCP server for Kubernetes

2025-04-26
Python
mcp-jacoco-reporter

mcp-jacoco-reporter

crisschan

Converts JaCoCo code coverage reports into LLM-optimized formats for AI-driven analysis

2025-04-08
Python
@infisical/mcp

@infisical/mcp

Infisical

Integrates Infisical APIs through Model Context Protocol via function calling.

2025-04-11
JavaScript