Penrose MCP Server

What is this MCP

This MCP server facilitates the creation of mathematical diagrams through Penrose's domain-specific languages (Domain, Substance, Style) by interpreting natural language inputs.

How to use this MCP

Use the provided justfile commands to access documentation (just mcp-spec), view architecture (just architecture), or explore example implementations in the .topos/mcp-examples/ directory.

What this MCP can be used for

Generating visual mathematical representations from abstract descriptions, particularly useful for educational materials, research papers, and mathematical visualization projects.