Penrose MCP Server
by bmorphism
remote-capable server
The server can be hosted and run remotely because it primarily relies on remote services or has no dependency on the local environment.
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
Project Structure
.topos/: Research materials and documentation (gitignored)penrose-research/: Design documents and specificationsmcp-examples/: Reference MCP server implementationsmcp-spec/: Official MCP protocol documentation
Development
Use the justfile to access documentation and reference materials:
Copy
License
MIT License - See LICENSE file for details
You must be authenticated.
Facilitates the creation of mathematical diagrams using natural language through Penrose's domain-specific languages, allowing for the definition of mathematical types, relationships, and visual representation rules.