Penrose MCP Server

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许可证-有关详细信息，请参阅许可证文件