PyPI page
Home page
Author:
Shuze Chen
License:
MIT
Summary:
MCP server for rendering Lean 4 blueprint dependency graphs from structured theorem data.
Latest version:
0.1.3
Required dependencies:
leanblueprint
|
mcp
|
plastex
|
plastexdepgraph
|
pydantic
Downloads last day:
1
Downloads last week:
414
Downloads last month:
414