sergey@works:~$
whoami --verbose
Research · Web Platform Standards · AI Agents · Open Source
Software engineer and independent researcher working on AI agent infrastructure, the web platform, developer tools, and open source.
Contributing to TC39 and W3C standards for JavaScript, browser interoperability, and web APIs.
or press `
$ cat ./skills.json
Core skills
AI / agent systemsagent orchestrationtool executionevaluation harnessesprovider routingOpenAI / Anthropic APIsllama.cppMCP / ACP
Web platform / standardsECMA-262ECMA-402TC39W3CTest262WebAssemblyJavaScriptCoreWebKitbrowser / WebView runtimes
LanguagesTypeScriptGoC++ZigCoq / Rocq
Platform / observabilityOpenTelemetrytraces/metrics/logsPrometheusGrafanaOTel CollectorDockerKubernetesTerraformAWSGCPCloudflare
$ ls ./projects/
whatLocal-first AI workspace and runtime for chats, model providers, project-scoped work, and supervised coding agents
featuresOpenAI and Anthropic API compatibility · native and ACP agent sessions · approvals and diff review · project context and memory · usage and OpenTelemetry
stackGoTypeScriptReactTauriSQLiteOpenTelemetry
whatStrict-only ECMAScript and WebAssembly engine written from scratch in Zig, with hardened realms and host-controlled code generation
featuresStrict semantics without Annex B · frozen primordials and built-in harden() · opt-in eval · WebAssembly support · Test262 and Wasm conformance suites
stackZigECMAScriptWebAssemblyTest262WebAssembly testsuite
Pragmatist
soon
whatTool that lets agents find and prove bugs in ECMAScript specifications, TypeScript, JavaScript engines, and WebAssembly runtimes
featuresPinned specification data · Coq/Rocq mechanization · TypeScript AST and library diffs · cross-runtime differential runs · patch scaffolding · deterministic replay of every finding
stackTypeScriptCoq/RocqECMA-262WebAssemblytsgoZod
whatMCP server that gives agents structured, reproducible access to ECMA-262 and ECMA-402 instead of a multi-megabyte HTML document
featuresClause and AOID search · bidirectional cross-spec references · edition diffs and git history · Test262 and proposal lookup · SHA-pinned responses · local stdio and hosted HTTP
stackTypeScriptECMA-262ECMA-402Cloudflare WorkersVitePressZod
WASM MCP
↗ website
whatRead-only MCP server for the WebAssembly Core, JavaScript, and Web APIs, with instruction-level and clause-level lookup
featuresOpcode, stack signature, and trap metadata · validation and execution references · full-text spec search · proposal index · SHA-pinned deterministic responses · local stdio and hosted HTTP
stackTypeScriptWebAssemblyCloudflare WorkersVitePressZod
More projects
↗ personal repos
↗ xyzzy labs
whereBrowse more open-source projects, experiments, and smaller tools across my personal repositories and xyzzy labs.
$ curl sergey.works/links
open to: AI agents · web platform · developer tools · observability · standards
based in Barcelona, Spain · available for remote
GitHub
github.com/chicoxyzzy
LinkedIn
linkedin.com/in/chicoxyzzy
X / Twitter
x.com/chicoxyzzy
Bluesky
bsky.app/sergey.works
Privacy
privacy notice
# EOF · sergey rubanov · 2026