Back to MCP Servers
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 i…
developer-toolsaiagent
By janaraj
Installation
npx typed-nl initConfiguration
{
"mcpServers": {
"tnl": {
"command": "npx",
"args": ["-y", "tnl"]
}
}
}How to use
- Run the installation command above (if needed)
- Open your Claude Code settings file (~/.claude/settings.json)
- Add the configuration to the mcpServers section
- Restart Claude Code to apply changes