LocalFree

Deed MCP server

deed-lang/deed

Contract-first programming language: check types, effects, capabilities and contracts in agent-written modules and review changes for new authority.

9 GitHub stars

Install Deed in Claude Code

This server doesn't publish a package to a registry, so follow the install steps in its README. Once it runs, register it with Claude Code:

Claude Code
claude mcp add deed -- <command to start the server>

Frequently asked questions

What does the Deed MCP server do?

Contract-first programming language: check types, effects, capabilities and contracts in agent-written modules and review changes for new authority.

Is the Deed MCP server free?

Yes, most likely. Open source and no paid account or API key is mentioned in the listing. Check the provider for current pricing.

Does Deed run locally or remotely?

Local. Runs on your machine (stdio). You install it with npx, uvx, Docker or from source.

How do I add Deed to Claude Code?

Follow the install steps in the project's README at https://github.com/deed-lang/deed, then register it with "claude mcp add".

More developer tools MCP servers

View all