Provides access to version control functionality, as indicated by the .topos directory structure and research materials which are gitignored.
Click on "Install Server".
Wait a few minutes for the server to deploy. Once ready, it will show a "Started" state.
In the chat, type
@followed by the MCP server name and your instructions, e.g., "@Penrose MCP Servercreate a diagram showing a function mapping from set A to set B"
That's it! The server will respond to your query, and you can continue using it as needed.
Here is a step-by-step guide with screenshots.
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 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