标签：定义数据库

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