Easycrypt

Verified Integration

Author: @spawning•Category: ServerApplication

GitHub Repository

JSON-RPC 2.0

Protocol Standard

Sub-second

Execution Latency

Active

Operational Status

Client Configuration

— Connect Easycrypt to Claude Desktop or Cursor in seconds

{
  "mcpServers": {
    "easycrypt": {
      "command": "npx",
      "args": [
        "-y",
        "@modelcontextprotocol/server-easycrypt"
      ],
      "env": {}
    }
  }
}

Paste into ~/Library/Application Support/Claude/claude_desktop_config.json (macOS) or %APPDATA%\Claude\claude_desktop_config.json (Windows).

Architecture & Capabilities

System Overview

Integrates EasyCrypt proof assistant functionalities into the Claude Code AI assistant, enabling comprehensive interaction with cryptographic proofs.

Indexed Date

7/22/2026

License

Open Source

Protocol Layer

stdio / SSE RPC

Frequently Asked Questions

Architecture and operational details for Easycrypt

Easycrypt is an integration that brings the EasyCrypt proof assistant's functionalities directly into the Claude Code AI environment, enabling comprehensive interaction and management of cryptographic proofs.

Related MCP Servers

Browse all servers →

@configuring

0xArchive

Provides comprehensive historical and real-time crypto market data, including orderbooks, trades, candles, and more, from Hyperliquid, HIP-3, and Lighter.xyz.

MCP Server5 FAQs

Learn more

@spawning

0xGasless

Facilitates gasless blockchain transactions and interactions directly from Claude AI conversations.

MCP Server4 FAQs

Learn more

@spawning

0xGasless

Bridges Claude AI with blockchain networks, enabling gasless transactions, swaps, and transfers directly from natural language conversations.

MCP Server5 FAQs

Learn more