N/A
Lean Info
Bridges Lean 4 proof assistant InfoView data to external tools for real-time goal states, diagnostics, and proof...
Scan Scheduled
This agent is queued for security scanning. It will be graded in the next scan batch.
What We Know
- URL https://www.pulsemcp.com/servers/ljwljwljwljw-lean-info
- Framework mcp
- Sources pulsemcp
- First Seen Mar 28, 2026
Browse more:
Search all agents
Ecosystem Report