Trammel

Rust planning and verification harness for AI coding agents: dependency-aware decomposition, beam strategies, incremental verification and recipe memory. MCP server included. Zero dependencies.

Installation

MCP client config (paste into mcp.json)

{
  "mcpServers": {
    "ironadamant-trammel": {
      "command": "npx",
      "args": [
        "-y",
        "@iron_adamant/trammel"
      ]
    }
  }
}

Agent install prompt

Copy and paste into Cursor / Claude / other agents to install this MCP for you

Please read this MCP repository and install it into my current environment:
https://github.com/IronAdamant/Trammel

Known working client config (can write into mcp.json):
{
  "mcpServers": {
    "ironadamant-trammel": {
      "command": "npx",
      "args": [
        "-y",
        "@iron_adamant/trammel"
      ]
    }
  }
}

Please: 1) check README for deps and env vars; 2) write config for my client; 3) if secrets are missing, tell me what to fill — do not invent values.

GitHub

Related servers