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 Server create 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.
A Model Context Protocol (MCP) server for Penrose - Create beautiful mathematical diagrams through natural language.
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: MCP-GLSP
.topos/: Research materials and documentation (gitignored)
penrose-research/: Design documents and specifications
mcp-examples/: Reference MCP server implementations
mcp-spec/: Official MCP protocol documentation
Use the justfile to access documentation and reference materials:
# List all available commands
just --list
# View the server architecture
just architecture
# Access MCP specifications
just mcp-specMIT License - See LICENSE file for details
Unclaimed servers have limited discoverability.
If you are the server author, to access and configure the admin panel.
EN Diagram — structural verification for concurrent systems. Pure math, no AI.
Generate cloud architecture diagrams, flowcharts, and sequence diagrams.
Generate dynamic Mermaid diagrams and charts with AI assistance. Customize styles and export diagr…
We provide all the information about MCP servers via our MCP API.
curl -X GET 'https://glama.ai/api/mcp/v1/servers/bmorphism/penrose-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server