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 等语言，帮你在编码阶段发现潜在缺陷和代码异味。
mbake 是 Makefile 的格式化与静态检查工具，能自动统一 Makefile 排版并揪出写法问题，补上了 Makefile 生态里长期缺失的 fmt/lint 环节。
在编译期静态检查 Java 代码中的空指针隐患，构建开销很低，能提前发现 NPE 而不是等运行时崩溃。
静态检查 Kubernetes YAML 和 Helm Chart 的合规工具，按最佳实践规则扫描配置问题，帮你在部署前发现隐患。
在 VS Code 里实时检查 Markdown 文档的语法和排版风格，把不规范写法直接标出来，省去手动校对。
扫描代码里带注解的 TODO 注释并做静态检查，帮团队把待办事项管起来，避免遗漏或格式混乱。
专治 AI 编码助手留下的烂摊子：死代码、不安全类型转换、吞异常、重复代码和安全风险，50+ 条确定性规则覆盖 10 种语言，提供 CLI、CI 和 GitHub Actions 集成，运行时不调用 LLM。
把 Power Platform 解决方案的元数据同步、构建产物生成、环境部署和静态检查打包成 Azure DevOps 流水线任务，省去手工搬解决方案的麻烦。