Skip to content
Publisher listing

io.github.sandraschi/leanforge-mcp

io.github.sandraschi/leanforge-mcp

Publisher-submitted data · not independently verified

Listed as active Local package v0.1.1

Profile facts from the publisher

  • Registry identity: io.github.sandraschi/leanforge-mcp
  • Published format: local package
  • Publisher-declared transport: stdio
  • Package identifier: https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb
  • Listed version: 0.1.1

These facts are from the Registry; they do not constitute independent validation of any MCP tools.

About this server

Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management

A local MCP package is not a public HTTP server. Do not interpret the absence of an endpoint as downtime.

Independent technical monitoring is under development.

Authorization: not independently verified
Available tools: not independently verified

Publisher connection options

These endpoints and packages are publisher declarations, not validated integration instructions.

Copy only a published identifier or HTTPS endpoint; follow the client and publisher documentation before connecting. Credentials and approval steps can differ.

Package
https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb
stdio mcpb

Package identifiers are not install commands. Review the package and publisher before running any code.

Connection readiness / publisher metadata

Before you connect

Publisher guidance needed

A prepared example is not a successful MCP connection. The Registry listing alone does not confirm tool compatibility, uptime, authentication or safety.

0Remote endpoints with supported transport
0Remote endpoints requiring review
1Local packages
Authentication Unknown — may require OAuth, an API key or another sign-in method

The current NexIP index does not preserve the Registry header requirements, URL variables or OAuth details. Do not assume anonymous access.

Recommended steps

  1. Check the publisher website and repository before connecting or installing anything.
  2. Confirm the transport, HTTPS URL and client version. Template URLs with {variables} need publisher-specific values.
  3. Configure authentication in your trusted MCP client using the publisher instructions. Never paste secrets into NexIP.
  4. Test within the client with the minimum necessary permissions. Review all tool access requests.

If connection fails

HTTP 401 / 403 — authentication or access may be required

Check the client OAuth flow, account access and publisher-provided header requirements. A 401 alone does not prove OAuth is configured correctly.

HTTP 404 — check the published URL and endpoint path

Check whether the publisher changed the MCP path or requires a tenant-specific URL. Do not guess private API endpoints.

HTTP 405 — GET may not be supported

A valid MCP HTTP endpoint need not accept a browser GET. Use a compatible MCP client and the declared transport.

Timeout or TLS issue

Check client/network conditions and the publisher service status; do not disable TLS validation to make an untrusted server connect.

NexIP Radar / R4

Independent HTTP observations

Publisher listing ≠ Independent HTTP observations

A local package cannot be checked as a public HTTP endpoint.

HTTP results do not verify MCP protocol compatibility, security or available tools. Synthetic tests are never displayed.

Published versions

Cached history from the official Registry; coverage may be incomplete until a separate import runs.

Version history not loaded yet.