请在下载 App 前申请邀请码，激活后即可开始使用 Cortex App。

产品

产品

MCP Servers>Lean定理证明器

icon for mcp server

Lean定理证明器

STDIO

Lean定理证明器交互MCP服务器

171星标数

0浏览量

0添加

作者

ooo0ooo

标签

开发者工具

+2

开发者工具教育与学习工具

版本

v0.11.0

最后更新

10/29/2025

查看源代码

no data

Cortex App 重磅来袭，抢先一步体验

专为简化 MCP 操作打造的桌面应用

产品

发现
管理
分享

资源

产品文档
博客
下载

About Us

Discover all servers

© 2025 Cortex App. All rights reserved.