You'll need an access code to use Cortex App. Hop into our Discord to grab yours!

Product Manuals

Server Discovery Blog

Product Manuals

MCP Servers>Lean Theorem Prover

icon for mcp server

Lean Theorem Prover

STDIO

MCP server for agentic interaction with Lean theorem prover via Language Server Protocol

171Stars

0Views

0Adds

Author

ooo0ooo

Tag

Developer Tools

+2

Education & Learning ToolsResearch & Data

Version

v0.11.0

Last Updated

10/29/2025

View Source Code

no data

Be the First to Experience Cortex App

A desktop app that makes MCP easy

Products

Discover
Manage
Share

Resources

Product Manuals
Blog
Downloads

About Us

Discover all servers

© 2025 Cortex App. All rights reserved.