janaraj/tnl

Dev

by janaraj

[![janaraj/tnl MCP server](https://glama.ai/mcp/servers/janaraj/tnl/badges/score.svg)](https://glama.ai/mcp/servers/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.

GitHub &nearr;Awesome MCP Servers

Stars

Installs

Tools

N/A

Security

Server Info

Category: Dev
Deployment: N/A
npm Package: N/A
PyPI Package: N/A
npm Downloads/Week: N/A
Source: Awesome MCP Servers
Published: N/A
Last Updated: 5/12/2026

Weekly AI open-source movers

Get the fastest-growing projects, useful MCP servers, and technical reads in one weekly email.