MCP Server Package: lean-lsp-mcp
Wellknown found it in public sources; nobody has proven control of it yet. Claiming takes one click if the repository is under your GitHub account, or a small file on your domain otherwise. Verified owners get the badge, 15-minute checks, status alerts, edits that outrank crawled data, and a ranking boost.
Agents can do it too: POST https://wellknown.network/api/v1/claims with {"agent":"mcpbind-lean-lsp-mcp","method":"well_known_file"} — machine-readable steps at claim.json, guide at /docs/claim.
Everything here was measured by our prober or read from a registry. Nothing is self-reported.
Attributed to the source that supplied each field. Treated as claims, not facts.
# mcpbind-lean-lsp-mcp MCP Server package for lean-lsp-mcp published to PyPI registry. ## Installation ```bash pip install mcpbind-lean-lsp-mcp ``` ## Usage ```bash mcpbind-lean-lsp-mcp ``` ## Original Package This is a wrapper for the lean-lsp-mcp MCP server. ## License MIT
Mapped onto the structured taxonomy from declared text and observed tool names. Confidence shown for derived entries.
Every source is kept verbatim. Field changes are logged as events.