Java 代码静态检查工具，按 Google Java 风格指南和 Sun 规范自动找出不符合编码标准的写法，规则可高度自定义，支持命令行和 ANT 调用。

用 PHP 写的 PHP 解析器，能把源码转成 AST，方便做静态分析、代码改写和工具链开发。

用 Markdown 写一次 AI 编码助手的插件、技能和命令，再由生成器适配 Claude Code、Codex CLI、Cursor 等各家工具，省去重复维护。

用 Haskell 写的 Dockerfile 静态检查工具，能校验内联 bash 脚本，帮你在构建前发现镜像定义里的语法和最佳实践问题。

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

Go 语言的静态安全扫描器，检查源码中的常见安全漏洞和危险写法，可接入 CI 做安全自动化。

C/C++ 静态代码分析工具，不用编译就能扫出内存泄漏、越界、未初始化变量等缺陷，适合接入 CI 做代码质量把关。

把各种代码分析工具的输出自动转成 PR 评论，支持 GitHub、GitLab、Bitbucket 等平台，让 lint 和静态检查结果直接出现在代码审查里。

静态扫描 Terraform 等基础设施即代码文件，提前发现云资源配置中的安全风险和合规问题，可接入 CI 流程。

一个用 Go 写的快速、严格且可配置的代码检查工具，用来替代 golint，帮你在 CI 里揪出 Go 代码的风格和潜在问题。

可扩展的多语言静态代码分析器，支持 Java、Apex、PLSQL、Swift 等语言，帮你在编码阶段发现潜在缺陷和代码异味。