Python 代码自动补全、静态分析与重构库，通过类型推断为编辑器提供精准的跳转和补全能力。

Python 静态代码分析工具，检查编码规范（PEP 8）、潜在错误和代码异味，帮你在提交前发现问题。

PHP 静态分析工具，通过类型推断和污点分析在运行前发现代码错误与安全漏洞，适合 CI 中做质量门禁。

在编译期捕获 Java 常见错误的静态分析工具，把容易写错的代码模式直接变成编译报错，帮团队在提交前就拦住低级 bug。

PHP 静态分析器，宁可漏报也不误报，专注证明代码确实有问题，帮你在运行前发现类型错误和潜在缺陷。

用 Rust 写的高性能 PHP 语言服务器，提供泛型、Laravel 和 PHPStan 注解的深度类型推断，启动即用，适合在 Neovim、VS Code 等编辑器里获得快速准确的代码补全与跳转。

把 JavaScript 代码自动转换成 TypeScript，也能给已有的 TypeScript 补全类型、修正类型问题，让代码类型更严格。