From 8edfff22c57262508ee56e4e8c7031a6751992d0 Mon Sep 17 00:00:00 2001 From: Janarthanan Rajendran Date: Thu, 23 Apr 2026 22:25:12 -0400 Subject: [PATCH 1/2] Add janaraj/tnl MCP server --- README.md | 1 + 1 file changed, 1 insertion(+) diff --git a/README.md b/README.md index 0b4d10e3..22d0baf6 100644 --- a/README.md +++ b/README.md @@ -876,6 +876,7 @@ Tools and integrations that enhance the development workflow and environment man - [j4c0bs/mcp-server-sql-analyzer](https://github.com/j4c0bs/mcp-server-sql-analyzer) 🐍 - MCP server that provides SQL analysis, linting, and dialect conversion using [SQLGlot](https://github.com/tobymao/sqlglot) - [JamesANZ/system-prompts-mcp-server](https://github.com/JamesANZ/system-prompts-mcp-server) 📇 🏠 🍎 🪟 🐧 - Exposes a large catalog of coding assistant prompts as MCP tools with model-aware suggestions and persona activation to emulate agents like Cursor or Devin. - [James-Chahwan/repo-graph](https://github.com/James-Chahwan/repo-graph) [![James-Chahwan/repo-graph MCP server](https://glama.ai/mcp/servers/James-Chahwan/repo-graph/badges/score.svg)](https://glama.ai/mcp/servers/James-Chahwan/repo-graph) 🐍 🏠 - Structural graph map of any codebase for AI coding assistants. Scans entities, relationships, and feature flows across 13 languages so LLMs navigate by structure instead of grepping through everything. +- [janaraj/tnl](https://github.com/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. - [janreges/ai-distiller-mcp](https://github.com/janreges/ai-distiller) 🏎️ 🏠 - Extracts essential code structure from large codebases into AI-digestible format, helping AI agents write code that correctly uses existing APIs on the first attempt. - [jasonjmcghee/claude-debugs-for-you](https://github.com/jasonjmcghee/claude-debugs-for-you) 📇 🏠 - An MCP Server and VS Code Extension which enables (language agnostic) automatic debugging via breakpoints and expression evaluation. - [jaspertvdm/mcp-server-tibet](https://github.com/jaspertvdm/mcp-server-tibet) 🐍 ☁️ 🏠 - TIBET provenance tracking for AI decisions. Cryptographic audit trails with ERIN/ERAAN/EROMHEEN/ERACHTER intent logging for compliance. From 4026ed74871b8ee739a3dcefce109362a34446f5 Mon Sep 17 00:00:00 2001 From: Janarthanan Rajendran Date: Thu, 23 Apr 2026 22:39:33 -0400 Subject: [PATCH 2/2] Add Glama score badge --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 22d0baf6..3bd6f548 100644 --- a/README.md +++ b/README.md @@ -876,7 +876,7 @@ Tools and integrations that enhance the development workflow and environment man - [j4c0bs/mcp-server-sql-analyzer](https://github.com/j4c0bs/mcp-server-sql-analyzer) 🐍 - MCP server that provides SQL analysis, linting, and dialect conversion using [SQLGlot](https://github.com/tobymao/sqlglot) - [JamesANZ/system-prompts-mcp-server](https://github.com/JamesANZ/system-prompts-mcp-server) 📇 🏠 🍎 🪟 🐧 - Exposes a large catalog of coding assistant prompts as MCP tools with model-aware suggestions and persona activation to emulate agents like Cursor or Devin. - [James-Chahwan/repo-graph](https://github.com/James-Chahwan/repo-graph) [![James-Chahwan/repo-graph MCP server](https://glama.ai/mcp/servers/James-Chahwan/repo-graph/badges/score.svg)](https://glama.ai/mcp/servers/James-Chahwan/repo-graph) 🐍 🏠 - Structural graph map of any codebase for AI coding assistants. Scans entities, relationships, and feature flows across 13 languages so LLMs navigate by structure instead of grepping through everything. -- [janaraj/tnl](https://github.com/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. +- [janaraj/tnl](https://github.com/janaraj/tnl) [![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. - [janreges/ai-distiller-mcp](https://github.com/janreges/ai-distiller) 🏎️ 🏠 - Extracts essential code structure from large codebases into AI-digestible format, helping AI agents write code that correctly uses existing APIs on the first attempt. - [jasonjmcghee/claude-debugs-for-you](https://github.com/jasonjmcghee/claude-debugs-for-you) 📇 🏠 - An MCP Server and VS Code Extension which enables (language agnostic) automatic debugging via breakpoints and expression evaluation. - [jaspertvdm/mcp-server-tibet](https://github.com/jaspertvdm/mcp-server-tibet) 🐍 ☁️ 🏠 - TIBET provenance tracking for AI decisions. Cryptographic audit trails with ERIN/ERAAN/EROMHEEN/ERACHTER intent logging for compliance.