MCP Tools with Dependent Types (vlaaad.github.io)

4 points by vlaaad 11mo ago ↗ HN

1 comment

[ 100 ms ] story [ 67.5 ms ] thread

VivaTechnics 11mo ago ↗

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