math-rigor
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| home | No | Data directory for the plugin; the venv lives at <home>/venv and proof sessions at <home>/sessions. Defaults to $DSH_HOME/math-rigor, or ~/.dsh/math-rigor when DSH_HOME is unset. Passed to the MCP server as the MATH_RIGOR_HOME environment variable; '~' and '~/...' expand to the current user's home directory. | $DSH_HOME/math-rigor |
| setup | No | When true, create <home>/venv and run 'pip install -r requirements.txt' at load time (requires network access, usually several minutes, blocks loading until setupTimeoutMs). The MCP tools are unavailable until the Python environment exists. | false |
| python | No | Explicit path to the Python interpreter. When empty, the plugin probes python.exe/py on Windows and python3/python on other platforms. Python 3.10+ is required. | |
| DSH_HOME | No | Harness home directory used to resolve the default 'home' value ($DSH_HOME/math-rigor when set, otherwise ~/.dsh/math-rigor). | |
| PIP_INDEX_URL | No | Optional pip index URL used when building the venv and installing dependencies in networked/proxied environments; must be set before running setup. | |
| setupTimeoutMs | No | Total time budget in milliseconds for setup, between 1000 and 600000. | 600000 |
| MATH_RIGOR_HOME | No | The only environment variable given to the MCP server; set from the 'home' config option (data directory holding the venv at <home>/venv and sessions at <home>/sessions). | |
| toolCallTimeoutMs | No | Timeout in milliseconds for a single MCP tool call, between 1000 and 600000. | 300000 |
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