sergey@works:~$
whoami --verbose
研究 · Web 平台标准 · AI agents · 开源
围绕 AI agent 基础设施、Web 平台、开发者工具和开源工作的开发与独立研究。
参与 TC39 与 W3C 标准相关工作，关注规范文本、浏览器行为、运行时实现和开发者 API 之间的边界。
or press `
$ cat ./skills.json
核心技能
AI / LLM 系统agent 协调prompt/工具流程测试框架llama.cpp
Web 平台 / 标准TC39W3CTest262WebAssemblyJavaScriptCoreWebKit浏览器/WebView
语言TypeScriptGoC++Zig
平台 / 可观测性OpenTelemetry追踪/指标/日志PrometheusGrafanaOTel CollectorDockerKubernetesTerraformAWSGCPCloudflare
$ ls ./projects/
是什么本地优先的 AI 控制台，用于运行本地/云端模型和 Hecate Chat
功能受监督的代码代理会话 · 任务审批 · 使用情况可见性 · OpenTelemetry
技术栈GoTypeScriptReactTauriSQLiteOpenTelemetry
是什么用 Zig 编写的 strict-only ECMAScript 引擎，面向 edge JS、Workers 和服务端 JS 等非浏览器宿主
技术栈ZigECMAScriptTest262compiler/engine internals
Pragmatist
即将发布
是什么用于在 ECMA-262、TypeScript 和 JavaScript 引擎中发现、复现并验证错误的工具
功能规范查询 · Coq/Rocq 机械化 · TypeScript 解析器和库的差异分析 · 跨引擎差分运行 · test262/spec 补丁脚手架 · 确定性验证
技术栈TypeScriptCoq/RocqECMA-262tsgoZod
是什么MCP 服务器，将 TC39 规范暴露为按条款组织、由 SHA 固定的数据，供 agents 和开发工具使用
功能AOID 搜索 · 跨规范引用 · 版本差异 · git 历史 · test262 和提案查询 · 离线 stdio 与公开 HTTP
技术栈TypeScriptECMA-262ECMA-402Cloudflare WorkersVitePressZod
更多项目
↗ 个人仓库
↗ xyzzy labs
位置更多开源工作、实验和小工具在 GitHub 上。
$ curl sergey.works/links
关注方向：AI agents · Web 平台 · 开发者工具 · 可观测性 · 标准
常驻西班牙巴塞罗那 · 可远程合作
GitHub
github.com/chicoxyzzy
LinkedIn
linkedin.com/in/chicoxyzzy
X / Twitter
x.com/chicoxyzzy
Bluesky
bsky.app/sergey.works
# EOF · sergey rubanov · 2026