MCP Tools with Dependent Types

Posted by vlaaad on Sunday August 17, 2025 @02:03PM
from the vlaaad.github.io dept.

( 2 comments | 3 points | on HN )

Re:MCP Tools with Dependent Types by VivaTechnics on Sunday August 17, 2025 @02:08PM (#44933581)

Good work! `type<T>` (generic types) can mimic dependent types for this?

[ Parent | on HN ]

Re:MCP Tools with Dependent Types by vlaaad on Sunday August 17, 2025 @02:10PM (#44933594)

Not sure; the schema of the Props argument depends on the value — not type — of another argument, so it's not just generics.

[ Parent | on HN ]