penrose-mcp

3.2

A Model Context Protocol (MCP) server for Penrose, enabling the creation of mathematical diagrams through natural language.

🏠📄

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

Related MCP Servers

View all developer_tools servers →

Sequential Thinking

4.9

by modelcontextprotocol

An MCP server implementation that provides a tool for dynamic and reflective problem-solving through a structured thinking process.

research_and_data

git-mcp

4.8

by idosal

GitMCP is a free, open-source, remote Model Context Protocol (MCP) server that transforms GitHub projects into documentation hubs, enabling AI tools to access up-to-date documentation and code.

developer_tools

Everything MCP Server

4.8

by modelcontextprotocol

The Everything MCP Server is a comprehensive test server designed to demonstrate the full capabilities of the Model Context Protocol (MCP). It is not intended for production use but serves as a valuable tool for developers building MCP clients.

developer_tools

context7

4.8

by upstash

Context7 MCP provides up-to-date, version-specific documentation and code examples directly into your prompt, enhancing the capabilities of LLMs by ensuring they use the latest information.

developer_tools

exa-mcp-server

4.7

by exa-labs

A Model Context Protocol (MCP) server allows AI assistants to use the Exa AI Search API for real-time web searches in a secure manner.

research_and_data

repomix

4.5

by yamadashy

Repomix is a tool that packs your codebase into AI-friendly formats, making it easier to use with AI tools like LLMs.

developer_tools

mcpdoc

4.5

by langchain-ai

MCP LLMS-TXT Documentation Server provides a structured way to manage and retrieve LLM documentation using the Model Context Protocol.

developer_tools

DesktopCommanderMCP

4.5

by wonderwhy-er

Desktop Commander MCP is a tool that allows users to search, update, manage files, and run terminal commands using AI, without incurring API token costs.

file_systems

Sequential Thinking MCP Server

4.4

by modelcontextprotocol

An MCP server implementation that provides a tool for dynamic and reflective problem-solving through a structured thinking process.

research_and_data