← Return to entry
Kernel · online
An AI that checksits own work.
BrainOS is a Python kernel that keeps agents honest. It names what counts as proof before the work starts, ties every claim to the source it came from, and refuses to close a task that doesn’t check out. The animation below walks the loop. The real kernel runs on my machine and fires on every Claude session via a SessionStart hook.
trace
readyawaiting task
8 commands · one loop
8
CLI commands
cover the loop
cover the loop
0%
claims closed
without a source
without a source
every
Claude session
hook fires
hook fires
fail-open
errors never block
empty inject, exit 0
empty inject, exit 0
What you just watched.
An illustrated walk through the loop. The real kernel runs as the brainos CLI on your machine; this animation shows the eight steps a single task takes through it. No claim survives without a source it can point to, and the loop only closes when the proof bar it set up front is met.
01
scope
Name the task and what done looks like.
02
route
Pick where the answer should come from.
03
claim
State exactly what's being asserted.
04
source
Bind the claim to the origin it came from.
05
check
Test the claim against that source.
06
gate
Does it clear the proof bar set in step 1?
07
witness
Stamp a receipt anyone can re-verify.
08
close
Close — only if the work checks out.
What BrainOS does today.
Plain facts, all currently true:
- · Python kernel at
C:\tmp\brainos-kernel· CLI exposed asbrainos - · Wired into Claude Code via a global SessionStart hook in
~/.claude/settings.json— fires on every session, every directory, since 2026-05-26 - · Per-project context injection: resolves
cwdagainstprofiles/*.json· match → injects North Star, Inherited Rules, Forbidden Actions - · Inherited Rules are proof-gated: recorded via
brainos learn, only kept when a check confirms they helped - · Fail-open contract: any error → emits nothing, exits 0, never blocks a session
- · CLI surface: classify · plan · ingest · claim · propose · close · query · brief
