Penrose MCP Server

MIT License

Overview InspectNew Schema Related Servers Reviews Score

create_substance

Define mathematical objects, relationships, and statements within a specific domain using structured input for precise diagram creation in Penrose MCP Server.

Instructions

Define mathematical objects and relationships

Input Schema

Name	Required	Description
`declarations`	Yes
`domain`	Yes	Reference to domain
`statements`	Yes

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"
}

You must be authenticated.

Other Tools from Penrose MCP Server

Related Tools

create_domain
@bmorphism/penrose-mcp
generate_diagram
@bmorphism/penrose-mcp
create_relations
@shaneholloman/mcp-knowledge-graph
read_graph
@BRO3886/mcp-memory-custom
PostCarts
@SGFGOV/medusa-mcp
canvas
@basicmachines-co/basic-memory

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