Penrose MCP Server
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.
bmorphism
Tools
create_domain
Create domain-specific language (DSL) definitions
create_substance
Define mathematical objects and relationships
create_style
Define visual representation rules
generate_diagram
Generate diagram from domain/substance/style
README
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:
# 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
Recommended Servers
playwright-mcp
A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.
Magic Component Platform (MCP)
An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.
MCP Package Docs Server
Facilitates LLMs to efficiently access and fetch structured documentation for packages in Go, Python, and NPM, enhancing software development with multi-language support and performance optimization.
Claude Code MCP
An implementation of Claude Code as a Model Context Protocol server that enables using Claude's software engineering capabilities (code generation, editing, reviewing, and file operations) through the standardized MCP interface.
@kazuph/mcp-taskmanager
Model Context Protocol server for Task Management. This allows Claude Desktop (or any MCP client) to manage and execute tasks in a queue-based system.
Linear MCP Server
Enables interaction with Linear's API for managing issues, teams, and projects programmatically through the Model Context Protocol.
mermaid-mcp-server
A Model Context Protocol (MCP) server that converts Mermaid diagrams to PNG images.
Jira-Context-MCP
MCP server to provide Jira Tickets information to AI coding agents like Cursor
Crypto Price & Market Analysis MCP Server
A Model Context Protocol (MCP) server that provides comprehensive cryptocurrency analysis using the CoinCap API. This server offers real-time price data, market analysis, and historical trends through an easy-to-use interface.
MCP PubMed Search
Server to search PubMed (PubMed is a free, online database that allows users to search for biomedical and life sciences literature). I have created on a day MCP came out but was on vacation, I saw someone post similar server in your DB, but figured to post mine.