Skip to main content
Glama

Server Configuration

Describes the environment variables required to run the server.

NameRequiredDescriptionDefault

No arguments

Instructions

Guidance the server publishes about itself, which clients place ahead of the tool catalog so the model reads it before choosing anything.

This server publishes no instructions, or was last inspected before Glama recorded them.

Capabilities

Features and capabilities supported by this server

Protocol revision2025-11-25

CapabilityDetails
tools
{
  "listChanged": false
}
experimental
{}

Tools

Functions exposed to the LLM to take actions

NameDescription
pddl_initA

Initialize a PDDL exploration session with a domain and problem. Must be called first before using other tools.

pddl_init_from_filesA

Initialize a PDDL exploration session by reading domain and problem from files. Use this instead of pddl_init when the PDDL definitions are available as files, to avoid duplicating large strings in the conversation.

pddl_get_available_actionsA

Get all actions that can be executed in the current state. Returns action names and arguments.

pddl_execute_actionB

Execute a PDDL action with given arguments. Returns success status, new state summary, and whether goal is reached.

pddl_get_current_stateA

Get the complete current state, including all true predicates and fluents.

pddl_is_goal_reachedB

Check if the goal state has been reached.

pddl_resetA

Reset to the initial state and clear action history. Use this to try a different approach.

pddl_get_action_historyA

Get the history of all actions taken so far in this session.

pddl_get_domainA

Get the PDDL domain string used to initialize this session. Useful for re-reading action schemas, predicates, and types.

pddl_get_problemA

Get the PDDL problem string used to initialize this session. Useful for re-reading objects, initial state, and goal conditions.

Prompts

Interactive templates invoked by user choice

NameDescription

No prompts

Resources

Contextual data attached and managed by the client

NameDescription

No resources

Latest Blog Posts

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/AIT-Complex-Dynamical-Systems/pypddlengine'

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