使用说明
Penrose MCP服务器
一种模型上下文协议（MCP）服务器 彭罗斯 -通过自然语言创建美丽的数学图表。
概述
此MCP服务器提供使用Penrose的领域特定语言创建数学图的工具和资源：
- 域（DSL）：定义数学类型和关系
- 物质：描述数学对象及其关系
- 风格：指定视觉表示规则
项目结构
.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许可证-有关详细信息，请参阅许可证文件
