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.
Ads
Overview
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.
Installation
npx typed-nl init
Configuration
Configuration example is not available yet.
Capabilities
No tools listed yet.
Tags
- awesome-list
Related MCP servers
Context7 MCP
OfficialOfficial Context7 MCP server that brings up-to-date, version-specific library documentation and code examples into AI coding prompts.
Chrome DevTools MCP
OfficialOfficial Chrome DevTools MCP server for controlling and inspecting a live Chrome browser from coding agents such as Gemini, Claude, Cursor, and Copilot.
Mastra/mcp
OfficialClient implementation for Mastra, providing seamless integration with MCP-compatible AI models and tools.
GitHub MCP Server
OfficialConnect your AI assistant to GitHub repositories, issues, pull requests, and search.