Back to Home
ChainSafe icon

canton-mcp-server

Verified Safe

by ChainSafe

Overview

A development platform for generating and validating provably safe DAML smart contract code using canonical resources and formal verification capabilities.

Installation

Run Command
uv run canton-mcp-server

Environment 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

Stats

Interest Score0
Security Score8
Cost ClassMedium
Avg Tokens3000
Stars0
Forks1
Last Update2025-11-26

Tags

DAMLSmart ContractsCode GenerationValidationMCP Server