Hecate
AI runtime toolingLocal-first console for local and cloud AI models, supervised coding-agent sessions, task approvals, usage visibility, and OpenTelemetry traces.
Stack Go · TypeScript · React · Tauri · SQLite · OpenTelemetry
Software Engineer / Barcelona, Spain
Builds AI agent infrastructure, web platform tooling & developer tools at the boundary between specifications, runtimes, engines, and APIs.
Software engineer and independent researcher focused on AI agent infrastructure, the web platform, developer tooling, and open source.
Works with TC39 and W3C standards across specification text, browser behavior, runtimes, and developer-facing APIs.
Local-first console for local and cloud AI models, supervised coding-agent sessions, task approvals, usage visibility, and OpenTelemetry traces.
Stack Go · TypeScript · React · Tauri · SQLite · OpenTelemetry
Strict-only ECMAScript engine in Zig for non-browser hosts such as edge JS, Workers, and server-side JS.
Stack Zig · ECMAScript · Test262 · compiler/engine internals
Tool for finding, reproducing, and verifying specification and implementation bugs across ECMA-262, TypeScript, and JavaScript engines.
Parsed-spec queries, Coq/Rocq mechanization, TypeScript parser/lib diffs, cross-engine differential runs, test262/spec patch scaffolds, and reproducible verification reports.
Stack TypeScript · Coq/Rocq · ECMA-262 · tsgo · Zod
Release coming soon.
MCP server that serves TC39 specifications as clause-level, SHA-pinned data for agents and tooling.
AOID-aware search, cross-spec references, edition diffs, git history, test262 and proposal lookup, offline stdio, and public HTTP.
Stack TypeScript · ECMA-262 · ECMA-402 · Cloudflare Workers · VitePress · Zod
Barcelona
Independent work across AI agent infrastructure, web platform standards, developer tools, observability, and open source.
US · Remote
Joined Firetiger through the Dispatch.run acquisition.
Stack Go · Python · TypeScript · Node · Next.js · Vercel · Docker · Kubernetes · Terraform · AWS / GCP / Cloudflare · OpenTelemetry / Prometheus / Grafana / OTel Collector
US · Remote
Stack C++ / C / Objective-C++ · JavaScript / TypeScript · Node.js · WebKit- and Chromium-based webviews (WKWebView, libwebkit2gtk, WebView2)
Geneva · Remote
Stack React / Svelte · Flow · Node.js · Relay · Docker + Composer · Headless Chromium · GCP
Malta · Remote
Stack React/Preact · Redux/MobX · RxJS · D3 · TypeScript · C
Moscow · Russia
Stack JavaScript · Babel · React · Chrome DevTools extensions
Moscow · Russia
Stack Angular · JavaScript
Oryol · Russia
Stack PHP · JavaScript · MSSQL · MySQL · OracleDB
Oryol · Russia
Languages — Russian (Native) · English (Proficient) · Spanish (Novice)