servers/ security/ deed
Deed icon

Deed

Unverified Claim & verify → Security

Contract-first language and MCP server for capability-aware code and patch review.

Visit website ↗ View on GitHub ↗
Overview Installation

Overview

Deed is a contract-first language and MCP server designed for capability-aware code and patch review. It enables AI assistants to perform security-focused code analysis by treating capabilities as first-class constructs. Any MCP-compatible AI can call Deed's tools directly, letting the model decide when to apply them during conversations or agent workflows.

Deed runs locally on your machine via the deed-lang package, which communicates over stdio. No authentication is required—it works immediately after installation. The latest release is v0.2.13, distributed under the Apache-2.0 license with source code available at deed-lang/deed on GitHub.

Deed is categorized as a Security tool on mcp.site and integrates with all major MCP clients including Claude Desktop, Claude Code, Cursor, VS Code, Windsurf, and Zed. Install it using npx -y deed-lang. If you maintain Deed, visit mcp.site to claim this listing, verify ownership, and keep information up to date.

▸Package — deed-lang · MCP over stdio
▸Open source — Apache-2.0 license · deed-lang/deed
▸Topics — capability-based-security, compiler, deed, deedlang, design-by-contract

Installation

// claude_desktop_config.json
{
  "mcpServers": {
    "deed": {
      "command": "npx",
      "args": [
        "-y",
        "deed-lang"
      ]
    }
  }
}

Related servers

PC
Pre-Trip compliance scanner
Security

Screen regulated-health marketing copy against source-cited rulesets, all 50 states.

Added 1 month ago →
AR
Arketo
Security Remote

Draw your app's architecture on a live canvas and flag the bottlenecks and security gaps.

Added 1 month ago →
BU
BlueNexus Universal MCP
Security Remote

Connect your AI to all your data - 200+ sources, intelligently filtered, compliance-ready.

Added 1 month ago →
DF
Dynamic Feed
Security Remote

94 keyless tools of live, verifiable data for AI: weather, hazards, space, CVEs. Ed25519-signed.

Added 1 month ago →
Helixar Security icon
Helixar Security
Security Remote

Security tools for AI agents: scan MCP servers, validate HDP delegation chains, audit releases.

Added 1 month ago →
IntoDNS.ai DNS & Email Security Scanner icon
IntoDNS.ai DNS & Email Security Scanner
Security Remote

DNS and email security: check SPF, DKIM, DMARC, DNSSEC, DANE and build the records. 45 tools.

★ 2 Added 1 month ago →
>_ esc
↑↓ navigate↵ openesc close