cellc-mcp
Server Configuration
Describes the environment variables required to run the server.
| Name | Required | Description | Default |
|---|---|---|---|
| CELLC_BIN | No | Path to the cellc binary (if not found on PATH) | |
| CELLC_TIMEOUT | No | Per-call timeout in seconds (default 30) | 30 |
| CELLSCRIPT_REPO | No | Path to CellScript checkout for examples/reference (default ~/CellScript) | ~/CellScript |
Capabilities
Features and capabilities supported by this server
| Capability | Details |
|---|---|
| tools | {
"listChanged": false
} |
| prompts | {
"listChanged": false
} |
| resources | {
"subscribe": false,
"listChanged": false
} |
| experimental | {} |
Tools
Functions exposed to the LLM to take actions
| Name | Description |
|---|---|
| cellc_checkA | Type-check a CellScript contract. Returns ok + diagnostics (terse, max 5; full=true for all). |
| cellc_explainA | Explain a CellScript error code (e.g. E0014) with description and fix hint. |
| cellc_metadataC | Compiler-emitted metadata: resources, actions, effects, obligations. Summary by default. |
| cellc_constraintsC | Verifier obligations + runtime-error registry for a contract. Summary by default. |
| cellc_language_referenceA | The full CellScript language surface (keywords, effects, worked example). |
| cellc_list_examplesA | List bundled example .cell contracts with one-line summaries. |
| cellc_get_exampleB | Return one example .cell contract's source for few-shot grounding. |
Prompts
Interactive templates invoked by user choice
| Name | Description |
|---|---|
No prompts | |
Resources
Contextual data attached and managed by the client
| Name | Description |
|---|---|
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/toastmanAu/cellc-mcp'
If you have feedback or need assistance with the MCP directory API, please join our Discord server