sergey@works:~$ whoami --verbose
 
Investigación · estándares web · agentes de IA · código abierto

Desarrollo e investigación independiente en infraestructura para agentes de IA, plataforma web, herramientas para desarrolladores y código abierto.

Contribuyo en TC39 y W3C a las especificaciones de JavaScript y las API web, así como a la interoperabilidad y la coherencia entre navegadores.

or press `
$ cat ./skills.json
Competencias clave
Sistemas de IA y agentesorquestación de agentesejecución de herramientasinfraestructura de evaluaciónenrutamiento entre proveedoresAPIs de OpenAI y Anthropicllama.cppMCP / ACP
Plataforma web / estándaresECMA-262ECMA-402TC39W3CTest262WebAssemblyJavaScriptCoreWebKitentornos de navegador y WebView
LenguajesTypeScriptGoC++ZigCoq / Rocq
Plataforma / observabilidadOpenTelemetrytrazas / métricas / logsPrometheusGrafanaOTel CollectorDockerKubernetesTerraformAWSGCPCloudflare
$ ls ./projects/
Hecate ↗ sitio web ↗ github
descripciónEspacio de trabajo para IA que se ejecuta en local y reúne chats, proveedores de modelos, proyectos y agentes de programación supervisados
funcionalidadAPI compatibles con OpenAI y Anthropic · agentes integrados y externos mediante ACP · aprobaciones y revisión de cambios · contexto y memoria por proyecto · métricas de uso y OpenTelemetry
tecnologíasGoTypeScriptReactTauriSQLiteOpenTelemetry
Cynic ↗ sitio web ↗ github
descripciónMotor de ECMAScript y WebAssembly escrito desde cero en Zig, solo en modo estricto, con realms reforzados y generación de código bajo control del host
funcionalidadSemántica estricta sin Annex B · primordiales congelados y harden() integrado · eval opcional · soporte de WebAssembly · suites de conformidad Test262 y Wasm
tecnologíasZigECMAScriptWebAssemblyTest262WebAssembly testsuite
Pragmatist pronto
descripciónHerramienta con la que los agentes encuentran y demuestran errores en especificaciones ECMAScript, TypeScript, motores JavaScript y entornos de ejecución WebAssembly
funcionalidadEspecificaciones fijadas por commit · formalización con Coq/Rocq · comparación de AST y librerías de TypeScript · pruebas diferenciales entre implementaciones · borradores de parches · verificación reproducible de cada hallazgo
tecnologíasTypeScriptCoq/RocqECMA-262WebAssemblytsgoZod
TC39 MCP ↗ sitio web ↗ github
descripciónServidor MCP que da a los agentes acceso estructurado y reproducible a ECMA-262 y ECMA-402, sin hacerles procesar un HTML de varios megabytes
funcionalidadBúsqueda por cláusula y AOID · referencias bidireccionales entre especificaciones · comparación de ediciones e historial git · consulta de Test262 y propuestas · respuestas fijadas por SHA · stdio local y HTTP público
tecnologíasTypeScriptECMA-262ECMA-402Cloudflare WorkersVitePressZod
WASM MCP ↗ sitio web
descripciónServidor MCP de solo lectura para las especificaciones Core, JavaScript API y Web API de WebAssembly, con consultas por instrucción y por sección
funcionalidadOpcodes, firmas de pila y condiciones de trap · referencias de validación y ejecución · búsqueda en todo el texto de la especificación · índice de propuestas · respuestas deterministas fijadas por SHA · stdio local y HTTP público
tecnologíasTypeScriptWebAssemblyCloudflare WorkersVitePressZod
Más proyectos ↗ repos personales ↗ xyzzy labs
enlaceExplora más proyectos de código abierto, experimentos y utilidades en mis repositorios personales y en xyzzy labs.
$ curl sergey.works/links
áreas: agentes de IA · plataforma web · herramientas para desarrolladores · observabilidad · estándares Barcelona, España · disponible para trabajo remoto
CV HTML · PDF
GitHub github.com/chicoxyzzy
LinkedIn linkedin.com/in/chicoxyzzy
X / Twitter x.com/chicoxyzzy
Bluesky bsky.app/sergey.works
Privacidad aviso de privacidad
# EOF · sergey rubanov · 2026