Root Kernel

We build softwarewith AI under control.

Tools do the Deterministic work, AI does the work that needs judgment, and people make the important decisions.

Founder & CEO Karl Jeong · 15+ years in software · M.S. in CS · LG Linux Kernel · SAP HANA

−4,000 m · Open source

AI Harness & AI Agent.

Tools Root Kernel builds and uses itself. All of them are public on GitHub.

AI Harness · Aquarium (Codex · Claude Code)

The tools we use while AI Agents do the software development. Aquarium runs the same procedure on Codex and on Claude Code (Aquarium for Claude). Deterministic work is built as CLI and MCP Tools, kept apart from the AI. Gaori runs the tests, Mulgae the code review, and Podway the procedure. People give the final approval.

Aquarium — Software engineering with AI Fleets, not vibe coding.

AI Agent

The layer that runs, deliberates and dispatches Agents. Agent Turn Network records how Agents delegate and deliberate, and Agent Dispatch turns file changes into work and receipts.

Select a tool to see its role and its GitHub repository.

Release checks

Podway 0.2.11 — release qa · 21/21 passed

Aquarium 0.1.17 — scenarios · 46 passed

Gaori 0.1.17 — 1 fix · re-run passed

Agent Dispatch 0.1.8 — release build ×2 · byte-identical

github.com/irootkernel

−10,935 m · Kernel

Deterministic → Tools.
Non-deterministic → AI.

We do not hand everything to AI.Deterministic work, where the same input must always give the same result, is built and run as CLI and MCP Tools. Only Non-deterministic work that needs judgment and generation goes to AI/LLMs.

The right balance between programming and AI/LLMs. Aquarium and Root Kernel started here.

Deterministic · CLI / MCP Tool

Test runs · procedure and state records · work dispatch · doc sync

Gaori · Podway · Agent Dispatch · Sanho

Non-deterministic · AI / LLM

Spec drafts · writing code · code review

AI Agent · Mulgae

AI-SPARK and Podway keep this boundary. The approved Spec is the reference for code and deployment, state transitions and procedure.

AI-SPARK — controls server development with an approved Spec.
AI-SPARK · Korean patent application (2026.04)

  • 2026.01Started building Sudal and AI-SPARK
  • 2026.02Selected for the Seoul 50 Plus Foundation office support program
  • 2026.04Filed a Korean patent application for AI-SPARK
  • 2026.06Founded Root Kernel
  • 2026.07Ember Quest · selected for the AX support program for game development (round 2)
  • 2026.08–12Corporate banking upgrade project at a Korean financial institution

Above surface · Products

Three products.
One shared root.

Problems we find in our products move our technology forward, and the improved technology goes back into the products.

  • SudalB2C · runs on AI-SPARK session runtimeA real-time would-you-rather game that starts conversationsEveryone joins on their own device by QR code or invite link, and can rejoin and keep playing after a brief disconnect.In development
  • DoksuriB2B · Markdown-native · two-way syncProject management where people and AI work togetherAI reads and edits the context of Markdown files, and handles the work that has to match the server through a CLI. People approve the important changes.In development
  • Ember QuestGame · Deterministic coreSelected · 2026 AX programA physics puzzle RPG where embers light the wayIt runs on a Deterministic core with a fixed 30Hz tick, so the same commands give the same result on any device.In development