Capability

LangGraph

AutoGen

CrewAI

Ketan-OS 🪔

What Ketan-OS Does

Environment Filesystem Snapshotting

❌

❌

❌

✅ Sub-Second ShadowFS

Before every tool call, Ketan-OS takes an incremental, content-addressed snapshot of the entire workspace filesystem using KetanShadowFS. Stores only changed bytes with LRU eviction. Average snapshot time: 8ms for 1,000 files.

Time-Travel Substrate Rollback

❌

❌

❌

✅ Sub-Second Atomic

On any failure — crash, invariant violation, syntax error, bad output — the workspace is reverted byte-for-byte to the last clean checkpoint in < 10ms. No partial writes, no corrupted state. The agent gets a counterfactual hint explaining what went wrong.

Pre-Flight Invariant Assertion Guards

❌

❌

❌

✅ AST + Rule Engine

Before a tool executes, Ketan-OS runs pluggable assertion rules: Python AST syntax validation (blocks broken .py files from ever touching disk), financial bounds checking, path safety guards, and custom user-defined rules. Tool is blocked before execution if any rule fails.

Live Causal Execution Trace Graph (CTG)

❌

❌

❌

✅ Live DAG Lineage

Every tool call, checkpoint, failure, and rollback is recorded as a node in a directed acyclic graph (DAG). The CTG tracks causal edges — which action led to which outcome. On failure, Ketan-OS traverses the DAG backwards to generate a root cause explanation automatically.

Epistemic Belief Engine & Memory Pruner

❌

❌

❌

✅ Contradiction-Aware

Tracks explicit factual beliefs the agent holds about the workspace (e.g., "file X is valid Python"). When a new observation contradicts a prior belief (e.g., "file X now has a syntax error"), the contradiction is detected, the stale belief is marked invalid, and the relevant prompt stack entries are auto-pruned to prevent hallucination loops.

eBPF-Style Symbolic Invariant Kernel

❌

❌

❌

✅ Micro-Patching

An in-process rule engine that evaluates temporal logic constraints on tool arguments in sub-millisecond time — inspired by Linux eBPF probes. Instead of just blocking, it can also micro-patch tool args in-flight (e.g., clamp an out-of-range financial amount to a safe value instead of rejecting it).

Predictive Speculative Task Kernel

❌

❌

❌

✅ < 5ms Commit

Runs multiple potential tool execution branches in parallel speculatively — like CPU branch prediction, but for AI workflows. The kernel selects and commits the best-outcome branch in < 5ms, discarding the rest. Reduces latency for long tool chains.

Scope-Locked Policy Engine (RBAC)

❌

❌

❌

✅ Declarative RBAC

Declarative role-based access control for tools. Define which agent roles can call which tools, which file paths they can write to, and what argument ranges are allowed. Policies are enforced at the substrate level — the agent cannot bypass them.

JIT Skill Trajectory Compilation

❌

❌

❌

✅ Zero-Token Re-runs

Compiles repeated agent skill sequences into cached, zero-token executors. If an agent runs the same workflow twice (e.g., "read orders → validate → process refund"), the 2nd run executes from a compiled cache with 0 LLM tokens consumed.

Persona State Freeze, Fork & Diff

❌

❌

❌

✅ Portable State

Freeze the complete agent state (workspace + memory + conversation), fork it into parallel experiment branches, then diff what changed between branches. Enables A/B testing of agent strategies without any state contamination.

Claude Code MCP Integration

❌

❌

❌

✅ 15 MCP Tools

Ships a full Model Context Protocol (MCP) server. Connect Ketan-OS to Claude Code in one config line — Claude gets all 15 Ketan-OS tools natively: safe writes, bash with rollback, CTG visualization, belief tracking, and more.

Tool

What it does

ketan_get_status

Ground-truth state: steps, checkpoints, failures

ketan_snapshot

Take atomic workspace snapshot → get rollback point

ketan_rollback

Time-travel revert to any checkpoint

ketan_get_checkpoints

List all restore points

ketan_write_file_safe

Write file with pre-flight guards + auto rollback

ketan_run_bash_safe

Run shell command with snapshot + auto rollback

ketan_check_invariant

Dry-run invariant check (no execution)

ketan_get_ctg

Causal Trace Graph as Mermaid diagram

ketan_explain_failure

Root cause of the last failure

ketan_observe_belief

Record a workspace fact into Epistemic Engine

ketan_list_beliefs

See all tracked beliefs

ketan_read_file

Read file + record as belief

ketan_list_files

Browse workspace files

ketan_session_summary

Full markdown session report

ketan_init_workspace

Switch to a different workspace

Module

Class

What It Does

ketan/core.py

KetanHarness

Central thread-safe coordinator engine

ketan/shadow_fs.py

KetanShadowFS

Incremental workspace snapshotting & rollback

ketan/dual_ledger.py

KetanLedger

Checkpoint registry synchronizing FS + prompt state

ketan/verifier.py

InvariantVerifier

Pre-flight AST syntax, safety, and custom rule checks

ketan/epistemic.py

EpistemicBeliefEngine

Belief tracking, contradiction detection, prompt pruning

ketan/symbolic_kernel.py

SymbolicInvariantKernel

eBPF-style sub-ms rule eval & in-flight arg micro-patching

ketan/speculative_kernel.py

PredictiveSpeculativeKernel

Parallel branch speculative execution < 5ms commit

ketan/causal_graph.py

KetanTraceGraph

Live execution DAG + root cause failure explanation

ketan/policy.py

PolicyEngine

Declarative RBAC scope-lock for tool calls

ketan/jit_compiler.py

JITCompiler

Zero-token cached skill trajectory compiler

ketan/persona.py

PersonaManager

Agent state freeze, fork & diff

ketan/adapters/

KetanAgentWrapper

LangGraph + generic LLM adapter middleware

ketan/mcp/server.py

MCP Server

15 Claude Code MCP tools via stdio transport