Armory
Source
Browse
MCPs

janaraj-tnl

MCP server for TNL (Typed Natural Language): per-feature English contracts for AI coding agents. 6 tools — `get_impacted_tnls`, `retrieve_tnl`, `trace`, `propose_tnl_diff`, `approve_tnl_diff`, `verify` — let agents look up relevant contracts, propose contract edits, and verify implementations against them. Drop-in via `npx typed-nl init` for Claude Code, Codex, Gemini.

Score
59.0292 signals
Evidence
8 stars · 1 fork
Last commit
as last read from GitHub; most reads are from 2 Sep 2026 or later
Listed

Install

armory install janaraj-tnl --cli claude

merges a server entry into.mcp.jsonListed as compatible

Configurationjson
{
  "mcpServers": {
    "janaraj-tnl": {
      "command": "npx",
      "args": [
        "-y",
        "typed-nl"
      ]
    }
  }
}

↳ Restart Claude Code to load the MCP server.

Needs the armory CLI · not on npm yet, build it from cli/ in the repository

What it is

MCP server for TNL (Typed Natural Language): per-feature English contracts for AI coding agents. 6 tools — get_impacted_tnls, retrieve_tnl, trace, propose_tnl_diff, approve_tnl_diff, verify — let agents look up relevant contracts, propose contract edits, and verify implementations against them. Drop-in via npx typed-nl init for Claude Code, Codex, Gemini.

When to use it

When an agent needs the "Developer Tools" capability this MCP server exposes.

Source

Migrated from the awesome-mcp-servers navigation directory (category: Developer Tools). See https://github.com/janaraj/tnl.