Login
From:
(:dev/notes vlaaad)
(Uncensored)
subscribe
MCP tools with dependent types
https://vlaaad.github.io/mcp-tools-with-dependent-types
links
backlinks
Roast topics
Find topics
Find it!
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.
