https://github.com/bmorphism/penrose-mcp
Penrose server for the Infinity-Topos environment
https://github.com/bmorphism/penrose-mcp
Last synced: 7 months ago
JSON representation
Penrose server for the Infinity-Topos environment
- Host: GitHub
- URL: https://github.com/bmorphism/penrose-mcp
- Owner: bmorphism
- License: mit
- Created: 2025-01-20T21:44:48.000Z (10 months ago)
- Default Branch: main
- Last Pushed: 2025-01-20T21:44:55.000Z (10 months ago)
- Last Synced: 2025-04-06T13:16:42.393Z (7 months ago)
- Language: JavaScript
- Size: 12.7 KB
- Stars: 1
- Watchers: 1
- Forks: 1
- Open Issues: 1
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- metorial-index - Penrose - Create mathematical diagrams using domain-specific languages that define mathematical types, objects, relationships, and visual representation rules. (Content Creation)
- toolsdk-mcp-registry - ❌ penrose - specific languages to generate mathematical diagrams from natural language inputs. (node) (Art & Culture / How to Submit)
README
# Penrose MCP Server
A Model Context Protocol (MCP) server for [Penrose](https://penrose.cs.cmu.edu/) - 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:
```bash
# 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