Loading…

Marketplace Builders Collections Docs

Back to Marketplace

📦

lean-lsp-mcp

Lean Theorem Prover MCP

0 installs

303 stars

47 forks

Trust: 77 — Good

Devtools

Installation

npx lean-lsp-mcp

Ask AI about lean-lsp-mcp

Powered by Claude · Grounded in docs

I know everything about lean-lsp-mcp. Ask me about installation, configuration, usage, or troubleshooting.

0/500

Loading tools...

Reviews

Documentation

No README available

Trust & Verification

Trust Score77/100

Good

No ConduID identity

This server hasn't registered a cryptographic identity via the ConduID Protocol yet.

Links

GitHub Repository

Details

CategoryDevtools

LicenseMIT

AuthoroOo0oOo

Last commit1mo ago

Weekly installs0

PricingFree

Tags

lean4 devtools lsp

The marketplace for MCP servers. Discovery, trust, analytics, and monetization for AI agent components.

Explore

Marketplace
Collections
Top Rated
Trending

Builders

Documentation
SDK
Dashboard
API Reference

Company

GitHub
Twitter / X
Terms
Privacy

© 2026 Conduid. The trust layer for AI agent components.

lean-lsp-mcp | Conduid

Security Checklist

Has README

Has License

Has Tests

Scoped Permissions

Pinned Dependencies

No Eval Usage