Penrose MCP Server

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

Related MCP server: UML-MCP Server

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:

License

MIT License - See LICENSE file for details