Making a Type Checker/LSP for Nix

Tix is a custom type checker and LSP for Nix built almost entirely with Claude, aiming to bring TypeScript-like type safety and modern IDE features to Nix development. It competes with existing tools like Nil and Nixd while offering strong type inference, autocomplete, jump-to-definition, and fast performance.