Skip to main content
Glama
Sign In
enesjakozh

Penrose MCP Server

by bmorphism
Verified
GitHub
JavaScript
MIT License
1
RedditDiscord
OverviewInspectNewSchemaRelated ServersReviewsScore
Need Help?View Source CodeReport Issue

create_domain

Define domain-specific languages (DSL) by specifying domain names, types, and predicates for creating mathematical diagrams using Penrose MCP Server.

Instructions

Create domain-specific language (DSL) definitions

Input Schema

NameRequiredDescriptionDefault
nameYesDomain name
typesYes

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.

Other Tools from Penrose MCP Server

Related Tools

ID: bc2re1p5ho