"author:janaraj" matching MCP servers:

• TNL

  janaraj

  A

  license

  A

  quality

  C

  maintenance

  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.

  Last updated 2026-04-26

  6

  33

  8

  MIT