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 specifications
- mcp-examples/: Reference MCP server implementations
- mcp-spec/: Official MCP protocol documentation

Development

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-spec

License

MIT License - See LICENSE file for details

Install Server

HTTP connection URL

security – no known vulnerabilities

license - permissive license

quality - confirmed to work

How are these scores calculated?

Tools

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.

Related Resources

Reddit Discussion about this server

Related MCP Servers

Whimsical MCP Server
BrockReece
-
security
F
license
-
quality
Enables programmatic creation of Whimsical diagrams from Mermaid markup generated by AI models like Claude through the Model Context Protocol.
Last updated -
14
TypeScript
UML-MCP Server
Swayingleaves
-
security
F
license
-
quality
A tool that generates various UML diagrams through natural language descriptions or PlantUML code, functioning as an MCP server that can integrate with clients like Claude.
Last updated -
16
Python
MCP Manim Server
Avik-creator
-
security
F
license
-
quality
A server-based tool that enables the generation of mathematical animations from natural language prompts by leveraging Manim.
Last updated -
11
Python
Mermaid Chart MCP
pickstar-2002
A
security
A
license
A
quality
Enables AI assistants to generate and render Mermaid diagrams (flowcharts, sequence diagrams, etc.) as PNG/SVG images with local file saving and HTTP access URLs. Supports batch processing and intelligent caching for efficient diagram creation.
Last updated -
1
2,299
TypeScript
MIT License

View all related MCP servers

Penrose MCP Server