标签：数学定理管理

一个用于管理数学定理和定义的模型上下文协议（MCP）服务器，提供直观的Web界面和RESTful API。