先写能读懂的程序
显式函数类型、清晰绑定与小型 JVM 程序，让源码便于人类检查与讨论。
Sprig少一点猜测，多一点可验证
Sprig 不试图让编码 Agent 更聪明，而是尽量减少它需要猜测的内容。面向人和 Agent；Agent 友好，也应当方便审查。实验性 Beta；JDK 17+。
Skip to content
可以做什么？
仓库自动化、数据转换、小型 JVM 应用和编译器工具。源代码里程碑的 showcases 包括仓库审计器、真实 Maven 库应用与源码分析器；各自 README 提供输入、命令和边界。
早期 dogfood：反馈比性能结论更重要
维护者报告曾用一个较低成本的编码模型尝试真实 Sprig 工作流。这是早期、轶事式的产品 dogfood：没有受控实验、等价 Java 对照实现、预注册任务集或生产力指标，因此不能据此声称 Sprig 优于 Java、提升了多少效率或消除了模型错误。它只支持一个较窄的观察：编译器查询和结构化诊断可以为修复提供具体证据。我们欢迎外部用户复现并报告体验。
从一个项目开始
安装 SDK 或从源码构建，然后：
bash
sprig version
sprig init my-tool
cd my-tool
sprig resolve
sprig run输出：Hello, Sprig!。随后查询 sprig capabilities --json，修改 src/main.spr，用 sprig check --json 理解并修复错误。
发行状态与限制
公开 SDK 是实验性 v0.5.0-beta.1， 编译器版本为 0.5.0-beta.1，语言版本仍为 0.8-dev。Beta 将项目测试、wrapper 生成、schema-4 依赖锁、明确的 Java 泛型与集合边界，以及 CLI、HTTP、JSON、SQLite 和 Web 一方库纳入发行 SDK；详细范围以发行状态、 发行资产和已安装 SDK 的 sprig capabilities --json 为准。真实 Fabric/Loom dogfood 的端到端接线见 Fabric / JVM 框架集成。
Sprig 尚未自举，也不承诺生产可用；发布/registry、LSP、接口与泛型推断仍属未来工作。 见已知限制。
一起贡献
想用 Codex / Claude / ChatGPT 参与？挑选一个 agent-friendly 任务， 让 Agent 读 AGENTS.md，运行验证、审查补丁并提交 PR。 贡献指南（英文）提供完整短流程。欢迎 AI 辅助，提交者负责 理解变更、测试、许可与正确性。