Penrose MCP Server
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.
Integrations
Provides access to version control functionality, as indicated by the .topos directory structure and research materials which are gitignored.
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:
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.