Home › Development › tnl
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.
Topics: Developer Tools
Connect
See the repository for installation instructions: https://github.com/janaraj/tnl
Related servers
Codebase Memory
Codebase knowledge graph for AI agents — 162 languages, sub-ms queries, 99% fewer tokens.
claude-task-master
AI-powered task management system for AI-driven development. Features PRD parsing, task expansion, multi-provider support (Claude, OpenAI,…
Figma-Context-MCP
Give your coding agent access to your Figma data. Implement designs in any framework in one-shot.
git-mcp
[gitmcp.io](https://gitmcp.io/) is a generic remote MCP server to connect to ANY [GitHub](https://www.github.com) repository or project…
Repowise
Codebase intelligence for AI coding agents — graph, git history, docs, decisions, code health.
mobile-mcp
MCP server for iOS and Android Mobile Development, Automation and Testing
Listed in punkpeye/awesome-mcp-servers (MIT)