好开源，值得被发现。

Phronesis is a RETE rules engine that enforces project conventions for LLM agents outside the context window, preventing contextual drift in long sessions.

SNAFU 是一个用于评估和改进源代码符号名称的代理式 LLM 工具。它通过计算名称歧义数（NAN）并建议更清晰的替代名称，来帮助开发者减少符号名称的歧义。

Strix 是一款开源的 AI 驱动渗透测试工具，利用自主代理通过真实的概念验证（PoC）漏洞利用，来识别、验证并修复应用程序漏洞。

Keploy 是一个开源的、语言无关的 API 和集成测试工具，通过 eBPF 记录真实的 API 调用、数据库查询和流事件，然后将其作为测试和数据模拟进行回放，无需修改代码。

Tach 是一款基于 Rust 的 Python 工具，用于在模块化架构中可视化和强制执行依赖边界与接口规范。

reviewdog 是一款基于 CLI 的自动化代码审查工具，可与任意 linter 或代码分析工具集成，不受编程语言限制。它通过解析工具输出、按差异过滤问题，并将结果作为审查评论发布到 GitHub、GitLab、Bitbucket、Gerrit 等代码托管平台。

CytoScnPy 是一款基于 Rust 开发的高性能 Python 静态分析工具，具备极高的内存效率。它能够检测死代码、安全漏洞（含污点分析）及代码质量指标（如复杂度、Halstead 指标、可维护性等），并深度支持 Flask、Django、FastAPI 等主流 Web 框架。

Lintro 是一款基于 MIT 许可证的命令行工具，将多种代码格式化、静态分析、类型检查和安全扫描工具统一在单一界面下，提供一致的报告、自动修复、Docker 镜像以及可选的 AI 辅助审查功能。

Ditto 是一款“语义 CI”工具，通过 ts-morph 扫描 JavaScript/TypeScript 仓库，利用 LLM 对函数进行指纹提取并基于嵌入进行聚类，旨在发现行为相同但写法不同的 Type-4 克隆，并通过沙箱执行纯函数来验证其差异。

Checkstyle是一款Java开发工具，帮助程序员编写符合编码标准的代码。它支持Google Java Style和Sun Conventions，高度可配置，并能与Maven和Ant等构建工具集成。

SwiftLint是一个广泛使用的Swift代码开源lint工具，强制执行样式和约定，包含200多条可配置规则，可集成到Xcode、VS Code、CI流水线等。

这是一个精选的 Java 开源项目集合，涵盖了 AI 框架、实战项目、系统设计、工具类库及开发工具等多个领域，旨在为 Java 开发者提供高质量的学习资源与技术参考。