Unrated Service
This service has not yet been rated by the community. Use with caution and verify independently.
janaraj/tnl
by janaraj
MCP server for TNL (Typed Natural Language): per-feature English contracts for AI coding agents. 6 tools — getimpactedtnls, retrievetnl, trace, proposetnldiff, approvetnldiff, 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.
About
MCP server for TNL (Typed Natural Language): per-feature English contracts for AI coding agents. 6 tools — getimpactedtnls, retrievetnl, trace, proposetnldiff, approvetnldiff, 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
Repository
https://github.com/janaraj/tnlNo verified MCP endpoint is on file for this listing yet.
Service Details
- Protocol
- —
- Pricing
- free