Penrose MCP Server

# Penrose MCP Server A Model Context Protocol (MCP) server for [Penrose](https://penrose.cs.cmu.edu/) - Create beautiful mathematical diagrams through natural language. ## Overview This MCP server provides tools and resources for creating mathematical diagrams using Penrose's domain-specific languages: - **Domain (DSL)**: Define mathematical types and relationships - **Substance**: Describe mathematical objects and their relationships - **Style**: Specify visual representation rules ## Project Structure - `.topos/`: Research materials and documentation (gitignored) - `penrose-research/`: Design documents and specifications - `mcp-examples/`: Reference MCP server implementations - `mcp-spec/`: Official MCP protocol documentation ## Development Use the justfile to access documentation and reference materials: ```bash # List all available commands just --list # View the server architecture just architecture # Access MCP specifications just mcp-spec ``` ## License MIT License - See LICENSE file for details