sergey@works:~$
whoami --verbose
研究 · Web 平台标准 · AI 智能体 · 开源
从事 AI 智能体基础设施、Web 平台、开发者工具和开源方向的开发与独立研究。
参与 TC39 和 W3C 的标准制定，主要关注 JavaScript 与 Web API 规范、不同实现间的兼容性和浏览器行为。
or press `
$ cat ./skills.json
核心技能
AI 与智能体系统智能体编排工具执行可复现评测模型服务路由OpenAI / Anthropic 接口llama.cppMCP / ACP
Web 平台 / 标准ECMA-262ECMA-402TC39W3CTest262WebAssemblyJavaScriptCoreWebKit浏览器 / WebView 运行时
语言TypeScriptGoC++ZigCoq / Rocq
平台 / 可观测性OpenTelemetry追踪 / 指标 / 日志PrometheusGrafanaOTel CollectorDockerKubernetesTerraformAWSGCPCloudflare
$ ls ./projects/
简介本地优先的 AI 工作台与运行环境，统一管理对话、模型服务、项目上下文和受监督的编程智能体
功能兼容 OpenAI 与 Anthropic 的 API · 内置智能体与 ACP 外部智能体会话 · 审批与代码差异审查 · 项目上下文和记忆 · 用量统计与 OpenTelemetry
技术GoTypeScriptReactTauriSQLiteOpenTelemetry
简介用 Zig 从零编写的 strict-only ECMAScript 与 WebAssembly 引擎，提供加固的 realm，并由宿主控制动态代码生成
功能不含 Annex B 的严格语义 · 冻结的 primordials 与内置 harden() · 按需启用 eval · WebAssembly 支持 · Test262 与 Wasm 规范一致性测试
技术ZigECMAScriptWebAssemblyTest262WebAssembly testsuite
Pragmatist
即将发布
简介帮助智能体发现并证明 ECMAScript 规范、TypeScript、JavaScript 引擎和 WebAssembly 运行时错误的工具
功能按提交版本固定的规范数据 · Coq/Rocq 形式化 · TypeScript AST 与标准库差异 · 跨运行时差分测试 · 补丁草案生成 · 每个结果都可确定性复现
技术TypeScriptCoq/RocqECMA-262WebAssemblytsgoZod
简介MCP 服务器，为智能体提供结构化、可复现的 ECMA-262 与 ECMA-402 访问能力，无需解析数 MB 的 HTML 文档
功能章节与 AOID 搜索 · 双向跨规范引用 · 版本差异与 git 历史 · Test262 与提案查询 · 固定到 SHA 的响应 · 本地 stdio 与公共 HTTP 服务
技术TypeScriptECMA-262ECMA-402Cloudflare WorkersVitePressZod
WASM MCP
↗ 网站
简介面向 WebAssembly Core、JavaScript API 与 Web API 规范的只读 MCP 服务器，支持按指令和章节查询
功能操作码、栈签名与 trap 条件 · 验证和执行规则引用 · 规范全文检索 · 提案索引 · 固定到 SHA 的确定性响应 · 本地 stdio 与公共 HTTP 服务
技术TypeScriptWebAssemblyCloudflare WorkersVitePressZod
更多项目
↗ 个人仓库
↗ xyzzy labs
链接更多开源项目、实验和小工具可在我的个人仓库与 xyzzy labs 中查看。
$ curl sergey.works/links
方向：AI 智能体 · Web 平台 · 开发者工具 · 可观测性 · 标准
常驻西班牙巴塞罗那 · 可远程合作
GitHub
github.com/chicoxyzzy
LinkedIn
linkedin.com/in/chicoxyzzy
X / Twitter
x.com/chicoxyzzy
Bluesky
bsky.app/sergey.works
隐私
隐私说明
# EOF · sergey rubanov · 2026