我是 hrniu(@hrniux),做 Java / Spring 后端与可解释智能体实践:把模型建议接到规则、证据和可重演的流程里。也做浏览器小游戏,整理开发工作流和数学笔记。
Java 21 / Spring Boot 4.1 / Spring AI 2.0 的离线核保 Demo,把 RAG、MCP 工具、确定性规则、审计、人工复核与决策重演串成可检查的链路。
从 Task REST API 入手,练习参数校验、ProblemDetail 错误响应、内存仓储与 MockMvc 测试,保留小而完整的 Spring Boot 示例。
把聚焦解决问题、GitHub HTTPS 本地认证和 Obsidian 本地知识库维护整理成可复用的 Codex skills。
先跑通,再读实现。 核保项目的 main 默认使用离线 Mock,无需 API Key 或外部数据库。本机准备完整 JDK 21+;首次构建需要联网下载 Maven 和依赖。从下面的命令开始:
git clone https://github.com/hrniux/insurance-underwriting-agent.git
cd insurance-underwriting-agent
./mvnw clean verify
./mvnw spring-boot:run启动后打开 http://localhost:8080/demo/,先运行虚构场景 P-2001,预期自动通过(APPROVE / LOW / 10);再运行 P-4001,预期拒保(REJECT / HIGH / 60)。对照规则命中与知识证据,再查看人工复核与决策重演。场景事实和推导见学习指南。
服务保持运行时,新开终端进入项目目录,使用 main 已有的演示验证脚本检查场景、来源快照、重演与人工复核。脚本需要 Bash、curl 和 Python 3:
bash scripts/demo.sh可复现验收工具(Draft PR #2):补充 bash scripts/run-verified-demo.sh 验收入口;仍未合并,脚本仅在 PR 分支中。
| 项目 | 做什么 | 入口 |
|---|---|---|
| browser-game-arcade | 原生 JavaScript 小游戏与互动实验合集 | 在线体验 |
| harvest-valley-lite | Canvas 农场小游戏:播种、浇水、收获与升级 | 本地运行 |
| math-conjectures | 数学猜想的精确陈述、通俗解释与进展笔记 | 按领域阅读 |
| verify-authenticity | 用可重复实验说明 Git 提交姓名与源码署名的证据边界 | 运行实验 |