—
/100
Unscored
○ Unscored 0⁄0
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.
Anthropic
Google Gemini
Unscored visibility
— 0/0 applicable dimensions scored
○ Schema Quality
— Protocol
— Reliability
○ Docs & Maintenance
○ Security Hygiene
— Schema Interpretability
Schema Quality
—
42% weight
Protocol Compliance
N/A
Local server
Reliability
N/A
Local server
Docs & Maintenance
—
25% weight
Security Hygiene
—
33% weight