Software Engineer · Agent Builder

把复杂问题变成可验证、可运行的软件。

我是 Kun Lei,一名微软软件工程师。我在公开项目中持续实践 Web 产品、AI 工程、Agent 工作流与云端交付。这是我的真实工程档案:既展示已经做成的,也公开下一步需要补齐的证据。

Public work

项目不是列表,是证据。

每个公开仓库都有独立入口。可运行的项目提供真实交互;非 Web 仓库以可浏览的工程档案呈现,不伪装成在线产品。

01Live app

Paper Search

带队列、阶段进度和结构化导出的论文检索应用,用于展示任务流、API 与部署能力。

ReactNode.jsAgent workflow
02Public toolkit

Agent Skills Library

公开的 Codex skills:目标循环、PR 修复、浏览器验证与恢复工作流。

Agent designPlaywrightEvidence gates
03Engineering archive

AI Projects

目标检测、图像分类、文本分类与模型服务的历史实践档案,保留真实技术演进。

PyTorchTensorFlowComputer Vision
04Live app

GitHub User Search

React 学习项目的可运行版本,直接调用 GitHub 公共 API 完成用户检索。

ReactREST APIDeployment patch
05Live app

Loan Calculator

输入金额、期限和年利率,实时计算等额本息月供的 React 单页应用。

ReactProduct UXFinance
06Web archive

Web Experiments

图片缩放、富文本编辑与早期交互页面的静态 Web 实验集合。

HTMLJavaScriptCanvas
07Career archive

Resume

公开简历仓库的原始网页版本。它记录过去经历;当前能力以本作品集和可运行项目为准。

Career historyHTML/CSS

Evidence, not adjectives

能力证据与诚实缺口

高水平 Agent 工程师不仅会接模型 API,还要能把非确定性系统做成安全、可测、可观察、可恢复的产品。

已有公开证据

  • React、TypeScript/JavaScript 与完整 Web 产品交付经验
  • Agent skills、目标循环、证据门禁与浏览器自动验证
  • Linux、Nginx、HTTPS、Azure VM 与多站点部署
  • 传统 AI/CV、Python 模型实践与服务化历史
  • 面向用户指标、性能和可用性的产品工程思维

正在补齐的公开证据

  • 一套真实业务 Agent:工具调用、记忆、RAG 与人工审批
  • 离线评测集、回归门禁、在线质量与成本指标
  • 基于 OpenTelemetry 的完整 traces、延迟和失败诊断
  • Prompt injection、最小权限与敏感操作安全设计
  • 可复现的 MCP server/client 与跨模型互操作案例

Agent engineering

我认可的工程标准

从简单架构开始

只有在质量收益能覆盖成本与延迟时,才从单次调用升级为工作流或自主 Agent。

每一步获取真值

工具输出、代码执行和测试结果是进度证据;模型的自我评价不是完成证明。

评测与观测先行

用 traces、评测集、回归测试、延迟和 token 成本管理非确定性。

最小权限与审批

外部内容默认不可信,高风险动作需要权限边界、确定性校验和人工确认。

Build in public

作品集不能保证职位或薪酬,持续交付可以提高可信度。

这里不写“百万年薪工程师”的自我认证。真正有说服力的是复杂系统的公开设计、测试、故障恢复、质量数据,以及持续演进记录。