Penrose MCP 服务器
Penrose的模型上下文协议 (MCP) 服务器 - 通过自然语言创建漂亮的数学图表。
概述
该 MCP 服务器提供使用 Penrose 领域特定语言创建数学图表的工具和资源:
领域(DSL) :定义数学类型和关系
实质:描述数学对象及其关系
Style :指定视觉表现规则
Related MCP server: UML-MCP Server
项目结构
.topos/:研究材料和文档(gitignored)penrose-research/:设计文档和规范mcp-examples/:参考 MCP 服务器实现mcp-spec/:官方 MCP 协议文档
发展
使用 justfile 访问文档和参考资料:
# List all available commands
just --list
# View the server architecture
just architecture
# Access MCP specifications
just mcp-spec
执照
MIT 许可证 - 详情请参阅许可证文件