Skip to content

LeanProbe 0.2.1

Choose a tag to compare

View all tags
@Lemmy00 Lemmy00 released this 13 May 20:15
· 12 commits to main since this release
v0.2.1
7173e3b

Patch release for LeanProbe MCP setup docs.

  • Documents that stdio MCP clients should keep LEAN_PROBE_AUTO_BUILD=0.
  • Explains that Lean/Lake projects should be built before starting LeanProbe MCP.
  • Prevents MCP transport corruption from build output written to stdout.

Install:

python -m pip install -U lean-probe

MCP:

python -m pip install -U "lean-probe[mcp]"
lean-probe mcp
Assets 2
Loading