mmkal / expect-type

Compile-time tests for types. Useful to make sure types don't regress into being overly-permissive as changes go in over time.

JoviDeCroock / mcp-tada

Compile-time typed MCP tool calls for TypeScript