Penrose MCP Server

by bmorphism

JavaScript

MIT License

Reddit Discord

OverviewInspectSchema Related Servers Reviews Score

Need Help?View Source Code Report Issue

create_domain

Create domain-specific language (DSL) definitions

Input Schema

Name	Required	Description	Default
`name`	Yes	Domain name
`types`	Yes

Input Schema (JSON Schema)

{
  "properties": {
    "name": {
      "description": "Domain name",
      "type": "string"
    },
    "types": {
      "items": {
        "properties": {
          "name": {
            "description": "Type name",
            "type": "string"
          },
          "predicates": {
            "items": {
              "properties": {
                "args": {
                  "items": {
                    "type": "string"
                  },
                  "type": "array"
                },
                "name": {
                  "type": "string"
                }
              },
              "required": [
                "name",
                "args"
              ],
              "type": "object"
            },
            "type": "array"
          }
        },
        "required": [
          "name"
        ],
        "type": "object"
      },
      "type": "array"
    }
  },
  "required": [
    "name",
    "types"
  ],
  "type": "object"
}

You must be authenticated.

create_domain

Input Schema

Input Schema (JSON Schema)

Other Tools