# Deed

> Deed — deed-lang-deed. Use this tool when you need to ensure reliable and secure agent-written code, as Deed checks types, effects, capabilities, and contracts in modules, and provides receipts for changes in authority, promises, and runtime obligations. It solves problems related to code verification, contract enforcement, and runtime security, making it ideal for developing robust and trustworthy AI agents. Deed takes in source code modules and returns verification results and receipts, making it a valuable tool for AI development and testing.

Canonical page: https://skillsregistry.net/skills/deed-lang-deed  
JSON: https://api.skillsregistry.net/v1/skills/deed-lang-deed

## Description

Contract-first programming language with a local MCP server for checking types, effects, capabilities, and contracts in agent-written modules. Its review tool compares before and after source sets and returns receipts for new authority, weaker promise tiers, and new Guarded runtime obligations.

## Trust

- **Trust score (0–1):** 0.00
- **Verification tier:** scanned
- **Last scanned:** 2026-09-03

## Facts

- **Version:** 1.0.0
- **Skill type:** atomic
- **Execution layer:** mcp-remote
- **Runtime environment:** api
- **Category:** other
- **Updated:** 2026-09-03

## Source

- **Source listing:** [Glama](https://glama.ai/mcp/servers/um4gzdyg0x)
- **Repository:** <https://github.com/deed-lang/deed>

## Use it

Resolve this record through the SkillsRegistry MCP server (no auth, read-only):

```
claude mcp add --transport http --scope user skillsregistry https://api.skillsregistry.net/mcp
```

```json
{
  "jsonrpc": "2.0",
  "id": 1,
  "method": "tools/call",
  "params": {
    "name": "get_skill",
    "arguments": {
      "slug": "deed-lang-deed"
    }
  }
}
```

REST: `GET https://api.skillsregistry.net/v1/skills/deed-lang-deed` · pull for local use: `GET https://api.skillsregistry.net/v1/skills/deed-lang-deed/pull`

---
SkillsRegistry indexes agent skills from public registries and GitHub. Skills we have analysed are scanned with Circle-IR and scored on six dimensions; each listing states its scan coverage. More: https://skillsregistry.net/llms.txt