canton-mcp-server
Verified Safeby ChainSafe
Overview
A development platform for generating and validating provably safe DAML smart contract code using canonical resources and formal verification capabilities.
Installation
uv run canton-mcp-serverEnvironment Variables
- CANONICAL_DOCS_PATH
- ANTHROPIC_API_KEY
- ENABLE_LLM_AUTH_EXTRACTION
- ENABLE_LLM_ENRICHMENT
- MCP_SERVER_URL
- X402_ENABLED
- CANTON_ENABLED
- DCAP_ENABLED
- DAML_SDK_VERSION
- IS_ISOLATED_ENVIRONMENT
Security Notes
The server employs a 'DAML-Safe by Construction' philosophy with 'Gate 1' enforcement for code validation, which significantly enhances security. The `daml_automater` tool has been refactored to return client-side instructions rather than executing commands on the server, greatly reducing server-side execution risks. The `daml_reason` tool handles missing DAML compiler gracefully, falling back to LLM-only analysis for compilation aspects. The `DirectFileResourceLoader` uses `git` subprocess commands for metadata retrieval, which is generally low risk. The `x402` payment bypass via `X-Internal-API-Key` introduces a potential risk if compromised. While `docker-py` is present for `CantonManager` in the codebase, it is not directly invoked by the public-facing tools for server-side operations post-refactor.
Similar Servers
dbt-mcp
Provides a Model Context Protocol (MCP) server that exposes various dbt-related functionalities (CLI, Semantic Layer, Discovery, Admin API, Code Generation, LSP) as tools for AI agents to interact with dbt projects in Core, Fusion, and Platform environments.
llms
A centralized configuration and documentation management system for LLMs, providing tools for building skills, commands, agents, prompts, and managing MCP servers across multiple LLM providers.
remembrances-mcp
Provides long-term memory, knowledge base, and semantic code indexing capabilities for AI agents.
bluera-knowledge
Provides a semantic knowledge base and intelligent web crawling capabilities to power coding agents, enabling them to search internal project files, Git repositories, and crawled web documentation.