janaraj/tnl

What it does

janaraj/tnl is an MCP (Model Context Protocol) server that implements TNL (Typed Natural Language), a system for creating human-readable English contracts for AI coding agents. It bridges the gap between natural language specifications and code verification by allowing agents to retrieve, propose, and verify contract implementations.

How to set up

Installation is simple via npm: run `npx janaraj/tnl` to launch the MCP server. The tool integrates with MCP-compatible platforms including Claude, ChatGPT, and other AI coding assistants. Configuration depends on your target platform's MCP integration guidelines.

Key features

• get_impacted_tnls - Retrieve contracts affected by proposed changes
• retrieve_tnl - Look up specific typed natural language contracts
• trace - Track contract lineage and dependencies
• propose_tnl_diff - Suggest contract modifications
• approve_tnl_diff - Review and approve contract changes
• verify - Validate implementations against contracts
• Perfeature English contracts for clear AI-readable specifications