Get the latest tech news

MCP tools with dependent types


After some experimenting with writing an MCP server and using LLM APIs with structured output, I think there is room for improvement for the MCP specification.

The idea was to give Claude access to evaluating Lua code in the editor scripting context, so it can use the APIs available for querying and modifying game content. I think, as novelty wears off and agentic LLM approaches mature, the need for accuracy will increase dramatically — this “entertainment” will become an annoying bug. There is something you can easily do with structured outputs if you make your own integrated LLM chat, that you can’t do in MCP: resolving input JSON schemas dynamically.

Get the Android app

Or read this on Hacker News

Read more on:

Photo of dependent types

dependent types

Photo of MCP Tools

MCP Tools

Related news:

News photo

The Lisp in the Cellar: Dependent types that live upstairs [pdf]

News photo

Ada's dependent types, and its types as a whole