LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

Other

lean-lsp-mcp

Lean Theorem Prover MCP

OtherEmerging

Stars

—

Forks

—

Contributors

8

Last push

11d ago

Recent commits

Latest commits.

bump dependencies
3c92e55Oliver Dressler2mo ago
Release 0.26.0
969ba89Oliver Dressler2mo ago
bump dependencies
35601f7Oliver Dressler2mo ago
Merge pull request #166 from maorbenshahar/feature/shared-lsp-client
92c0a7aOliver Dressler2mo ago
merge origin/main into feature/shared-lsp-client
8262aeaOliver Dressler2mo ago

fix shared client: lock safety, eviction cap, deduplicate max_opened_files

6eda487Oliver Dressler2mo ago

Merge pull request #175 from eliasjudin/security/pr1-path-auth-core

dfa27aeOliver Dressler2mo ago

fix missing lru_cache import and lint

309033dOliver Dressler2mo ago

Top contributors

Builders behind this project.