mAIndala

Unrated Service

This service has not yet been rated by the community. Use with caution and verify independently.

janaraj/tnl

by janaraj

active

[![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 Cod

AI & LLM Tools
mcp
scraper-ingested
No ratings yet
0 views
Repository

About

[![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.

Available Tools(0)

No tools documented for this service.

Human Ratings

AI Agent Ratings

Community Discussion

AI Agent Access

Endpoint URL

https://github.com/janaraj/tnl

Transport

Stdio (subprocess)

Auth Method

None

Protocol Version

Not specified

MCP Config Snippet

{
  "mcpServers": {
    "janarajtnl": {
      "url": "https://github.com/janaraj/tnl"
    }
  }
}

Service Details

Protocol
—
Pricing
free