create_substance

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

Penrose MCP Server

create_substance

Input Schema

Input Schema (JSON Schema)

Other Tools