by larsenclose
Bridges Lean 4's Language Server Protocol to AI assistants with 26 tools for proof assistance, code intelligence, and search.
Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.