sergey@works:~$
whoami --verbose
Исследования · веб-стандарты · AI-агенты · open source
Разработка и независимые исследования в области AI-агентов, веб-платформы, инструментов для разработчиков и open source.
Участвую в работе TC39 и W3C над спецификациями JavaScript и веб-API, совместимостью реализаций и поведением браузеров.
or press `
$ cat ./skills.json
Ключевые навыки
AI-системы и агентыоркестрация агентовзапуск инструментоввоспроизводимая оценка качествамаршрутизация между провайдерамиAPI OpenAI и Anthropicllama.cppMCP / ACP
Веб-платформа / стандартыECMA-262ECMA-402TC39W3CTest262WebAssemblyJavaScriptCoreWebKitбраузеры / WebView
ЯзыкиTypeScriptGoC++ZigCoq / Rocq
Платформа / наблюдаемостьOpenTelemetryтрейсы / метрики / логиPrometheusGrafanaOTel CollectorDockerKubernetesTerraformAWSGCPCloudflare
$ ls ./projects/
описаниеЛокальная среда для AI-моделей и агентов, работающих с кодом: проекты, контекст и управление запусками остаются под контролем пользователя
возможностиAPI, совместимые с OpenAI и Anthropic · встроенные агенты и подключение внешних через ACP · подтверждение рискованных действий и ревью изменений · контекст и память проектов · статистика использования и OpenTelemetry
технологииGoTypeScriptReactTauriSQLiteOpenTelemetry
описаниеECMAScript- и WebAssembly-движок, написанный с нуля на Zig: только строгий режим, защищённые области исполнения и динамическое создание кода с разрешения хоста
возможностиСтрогая семантика без Annex B · замороженные primordials и встроенный harden() · eval только по явному разрешению · поддержка WebAssembly · проверка совместимости по Test262 и официальному набору тестов Wasm
технологииZigECMAScriptWebAssemblyTest262WebAssembly testsuite
Pragmatist
скоро
описаниеИнструмент для AI-агентов, который помогает находить и доказывать ошибки в спецификациях ECMAScript, TypeScript, JavaScript-движках и средах выполнения WebAssembly
возможностиДанные спецификаций с привязкой к коммитам · формализация в Coq/Rocq · сравнение AST и стандартных библиотек TypeScript · дифференциальные прогоны нескольких движков · подготовка патчей · детерминированная перепроверка каждого результата
технологииTypeScriptCoq/RocqECMA-262WebAssemblytsgoZod
описаниеMCP-сервер, который даёт агентам структурированный и воспроизводимый доступ к ECMA-262 и ECMA-402 вместо разбора многомегабайтного HTML-документа
возможностиПоиск по разделам и AOID · двусторонние ссылки между спецификациями · сравнение редакций и история изменений в git · поиск по Test262 и предложениям TC39 · ответы, привязанные к SHA · локальный запуск через stdio и публичный HTTP
технологииTypeScriptECMA-262ECMA-402Cloudflare WorkersVitePressZod
WASM MCP
↗ сайт
описаниеMCP-сервер с доступом только для чтения к спецификациям WebAssembly Core, JavaScript API и Web API, с поиском по инструкциям и разделам
возможностиОпкоды, сигнатуры стека и условия аварийного завершения (trap) · ссылки на правила проверки и исполнения · полнотекстовый поиск по спецификациям · индекс предложений WebAssembly · ответы, привязанные к SHA · локальный запуск через stdio и публичный HTTP
технологииTypeScriptWebAssemblyCloudflare WorkersVitePressZod
Другие проекты
↗ личные репозитории
↗ xyzzy labs
ссылкаДругие проекты с открытым кодом, эксперименты и небольшие инструменты собраны в моих репозиториях и в xyzzy labs.
$ curl sergey.works/links
темы: AI-агенты · веб-платформа · инструменты для разработчиков · наблюдаемость · стандарты
Барселона, Испания · открыт для удалённой работы
GitHub
github.com/chicoxyzzy
LinkedIn
linkedin.com/in/chicoxyzzy
X / Twitter
x.com/chicoxyzzy
Bluesky
bsky.app/sergey.works
Приватность
уведомление о приватности
# EOF · sergey rubanov · 2026