cellc-mcp

cellc-mcp

Wraps the cellc CellScript compiler so that an AI can write, check, explain, and inspect CKB Cell contracts in a local agentic loop.

Category
Visit Server

README

cellc-mcp

MCP server wrapping the cellc CellScript compiler so a local agentic model can write CKB Cell contracts in a write → check → explain → inspect loop.

Install

python -m venv .venv && . .venv/bin/activate
pip install -e .

Requirements

  • A built cellc binary. Build it once: cd ~/CellScript && cargo install --path . (Needs a sibling ckb-sdk-rust checkout at tag v5.1.0 per CellScript AGENTS.md.)

Configuration (env)

  • CELLC_BIN — path to the cellc binary (else found on PATH)
  • CELLSCRIPT_REPO — CellScript checkout for examples/reference (default ~/CellScript)
  • CELLC_TIMEOUT — per-call timeout seconds (default 30)

MCP client config

{
  "mcpServers": {
    "cellc": {
      "command": "cellc-mcp",
      "env": { "CELLSCRIPT_REPO": "/home/phill/CellScript" }
    }
  }
}

Tools

  • cellc_check — type-check; terse diagnostics (max 5; full=true for all)
  • cellc_explain — explain an error code (E####)
  • cellc_metadata — compiler metadata summary (full=true for schema-30 JSON)
  • cellc_constraints — verifier obligations + runtime-error registry
  • cellc_language_reference — the full language surface, in-context
  • cellc_list_examples / cellc_get_example — example contracts for grounding

Tests

python -m pytest -v                 # offline unit tests
python -m pytest -m needs_cellc -v  # integration (needs cellc)

Recommended Servers

playwright-mcp

playwright-mcp

A Model Context Protocol server that enables LLMs to interact with web pages through structured accessibility snapshots without requiring vision models or screenshots.

Official
Featured
TypeScript
Magic Component Platform (MCP)

Magic Component Platform (MCP)

An AI-powered tool that generates modern UI components from natural language descriptions, integrating with popular IDEs to streamline UI development workflow.

Official
Featured
Local
TypeScript
Audiense Insights MCP Server

Audiense Insights MCP Server

Enables interaction with Audiense Insights accounts via the Model Context Protocol, facilitating the extraction and analysis of marketing insights and audience data including demographics, behavior, and influencer engagement.

Official
Featured
Local
TypeScript
VeyraX MCP

VeyraX MCP

Single MCP tool to connect all your favorite tools: Gmail, Calendar and 40 more.

Official
Featured
Local
graphlit-mcp-server

graphlit-mcp-server

The Model Context Protocol (MCP) Server enables integration between MCP clients and the Graphlit service. Ingest anything from Slack to Gmail to podcast feeds, in addition to web crawling, into a Graphlit project - and then retrieve relevant contents from the MCP client.

Official
Featured
TypeScript
Kagi MCP Server

Kagi MCP Server

An MCP server that integrates Kagi search capabilities with Claude AI, enabling Claude to perform real-time web searches when answering questions that require up-to-date information.

Official
Featured
Python
E2B

E2B

Using MCP to run code via e2b.

Official
Featured
Neon Database

Neon Database

MCP server for interacting with Neon Management API and databases

Official
Featured
Exa Search

Exa Search

A Model Context Protocol (MCP) server lets AI assistants like Claude use the Exa AI Search API for web searches. This setup allows AI models to get real-time web information in a safe and controlled way.

Official
Featured
Qdrant Server

Qdrant Server

This repository is an example of how to create a MCP server for Qdrant, a vector search engine.

Official
Featured