1
Show HN: Ty-extended – a Ty fork with plugin support
Ty语言分支，引入WASM插件机制，为语义检查器带来可扩展能力。
Hi HN! I'm a Ty frequent user on all my Python projects, however, lately I've been needing to go back to mypy due to the lack of plugin support on Ty.…
2
Show HN: Leakproof – local secret-egress firewall for Claude Code/Cursor/aider
这款开源的本地秘密出口防火墙，用本地模型智能检查敏感数据，让AI编程工具安全无忧。
Article URL: https://github.com/acunningham-ship-it/leakproof Comments URL: https://news.ycombinator.com/item?id=48576074 Points: 1 # Comments: 1
3
Show HN: A dbt-first semantic assumption check for SQL changes
开源SQL变更语义检查工具，dbt优先，自动发现逻辑错误，防止生产事故。
Article URL: https://github.com/hiteshsundraaa/semzero-public-alpha-launch Comments URL: https://news.ycombinator.com/item?id=48582283 Points: 1 # Com…