Prover MCP Server
by disys-lab
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| CONFIG | No | Ablation selector (`A`/`B`/`C`/`D`, plus supplementary `A_STAR`; default `C`) — must match on both services | C |
| REDIS_HOST | Yes | Redis host for session state and job records | |
| REDIS_PORT | Yes | Redis port for session state and job records | |
| DATABASE_URL | Yes | Postgres DSN for user accounts and dataset | |
| DOWNLOADS_DIR | Yes | Shared volume for proof artifacts | |
| PROVER_BASE_HOST | No | COSMeTIC hostname (default `COSMeTICprover`) | COSMeTICprover |
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