Barista：利用大语言模型智能体合成类型状态规范

Barista 是基于 Claude Code 与 Claude Agent SDK（Sonnet 4.6）构建的智能体系统，能直接从 Javadoc 文档提取对象协议并合成 LiquidJava 类型状态规范，在代码运行前捕获违规调用。