Penrose MCP Server

by bmorphism
GitHub
JavaScript
MIT License
RedditDiscord
OverviewInspectNewSchemaRelated ServersReviewsScore
Need Help?View Source CodeReport Issue

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

You must be authenticated.

A
security – no known vulnerabilities
A
license - permissive license
A
quality - confirmed to work

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.

  1. Overview
    1. Project Structure
      1. Development
        1. License