Skip to main content
Glama
enesjakozh

Penrose MCP Server

by bmorphism
GitHub
JavaScript
MIT License
6
OverviewInspectNewEndpointsSchemaRelated ServersReviewsScore
Need Help?View Source CodeReport Issue

create_substance

Define mathematical objects and relationships by specifying domain, declarations, and statements for creating structured mathematical diagrams in the Penrose MCP Server.

Instructions

Define mathematical objects and relationships

Input Schema

NameRequiredDescriptionDefault
declarationsYes
domainYesReference to domain
statementsYes

Input Schema (JSON Schema)

{ "properties": { "declarations": { "items": { "properties": { "objects": { "items": { "type": "string" }, "type": "array" }, "type": { "type": "string" } }, "required": [ "type", "objects" ], "type": "object" }, "type": "array" }, "domain": { "description": "Reference to domain", "type": "string" }, "statements": { "items": { "properties": { "args": { "items": { "type": "string" }, "type": "array" }, "predicate": { "type": "string" } }, "required": [ "predicate", "args" ], "type": "object" }, "type": "array" } }, "required": [ "domain", "declarations", "statements" ], "type": "object" }

This server cannot be installed

Other Tools from Penrose MCP Server

Related Tools

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/bmorphism/penrose-mcp'

If you have feedback or need assistance with the MCP directory API, please join our Discord server