Penrose MCP Server

View original on GitHub 

A Model Context Protocol (MCP) server for Penrose  - 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:

# 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