xiange-mcp
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| SMT_ROOT | No | Path to the SMT engine repository (optional; the engine is unavailable when this is not set). | |
| XIANG_MCP_TOOLS | No | Path to the Python tools directory (xiange toolset). Defaults to ~/xiange/tools/. | ~/xiange/tools/ |
| XIANG_MCP_PYTHON | No | Python interpreter to use. Defaults to python3 from PATH. | python3 |
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
Server capabilities have not been inspected yet.
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
No tools | |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
No resources | |
This server cannot be deployed
Maintenance
ActivityMaintained
ResponsivenessNo issues