content-type:

text/html; charset=utf-8

x-source:

content/zh/profile.json

x-cv-version:

2026.09

[
  {
    "id": "legacy-modernisation",
    "title": "LLM 辅助的遗留系统现代化",
    "status": "in-progress",
    "summary": "从 COBOL 到 Spring Boot，通过差分执行验证生成的代码：先构建证明等价性的裁判，再构建写代码的代理。个人项目。",
    "stack": [
      "Python",
      "Java 17",
      "Spring Boot 3",
      "Claude API",
      "tool-calling agents",
      "evaluation harness"
    ]
  },
  {
    "id": "workflow-automation",
    "title": "工程工作流自动化",
    "status": "shipped",
    "summary": "面向上述银行项目：把 LLM 代理与技能接入 git 钩子、审批门禁和回归测试集，让助手遵守团队的分支与评审规则，而不是绕过它们。",
    "stack": [
      "LLM agents",
      "git hooks",
      "regression suite",
      "Azure DevOps"
    ]
  }
]