Schema | cellc-mcp

cellc-mcp

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

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.

Features and capabilities supported by this server

Protocol revision2025-11-25

Capability	Details
`tools`	{ "listChanged": false }
`prompts`	{ "listChanged": false }
`resources`	{ "subscribe": false, "listChanged": false }
`experimental`	{}

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.

Interactive templates invoked by user choice

Name	Description
No prompts

Contextual data attached and managed by the client

Name	Description
No resources

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