Write-ahead
Decision before action
Every agent action emits a DecisionRecord before it executes. Replay, audit, or revoke — never reconstruct from log archaeology.
Private beta · Compatible with Claude Code, Cursor 3.0, MCP
Archon records every decision, enforces every constraint, orchestrates the fleet, and formally verifies every change your agents produce — so they can ship pull requests, refactor codebases, and mutate infrastructure without losing control.
Interoperates with the agent stack you already use
Every Archon claim is enforced, not implied. Numbers below are architectural commitments — not marketing rounding.
The Stack
Every agent action flows up the stack: orchestrated, recorded, constrained, verified. Skip a layer and you ship hallucination.
Decision packet
$ archon verify --before deploy
constraint:godelgate/auth-review
ledger:decision_04f7c2
result: escalate_to_human
The stack is not a diagram. It is the paper trail your agents must leave behind.
Type safety · API contracts · state machines · parity testing · security checks. Returns UNVERIFIABLE when proof is impossible — never a confident wrong answer.
Declarative constraints in plain YAML. Scope filters, blast-radius caps, and human escalation when a constraint trips. Portable across projects and CI.
A causal DAG of every agent decision, backed by Cognee (graph + vector + relational). Traverse from any line of code back to the originating intent — without writing SQL.
Lifecycle, file arbitration, context budgets, and typed Agent Communication Protocol messages. Runs on Cloudflare Agent Cloud or your own metal.
Features
Every other platform traces what agents did. Archon controls what they are allowed to do, and proves they did it correctly.
Every agent action emits a DecisionRecord before it executes. Replay, audit, or revoke — never reconstruct from log archaeology.
The Determinist Gateway refuses to approve what it cannot prove. A confident wrong answer is worse than no answer.
The Architecture Ledger is a directed acyclic graph of why. Trace any change back to the originating intent in one query.
Run the Kernel on a laptop with Qwen 3.6 or in an air-gapped DC. Constraints and ledger sync when you reconnect.
Export APRA CPS 234, SOC 2, and GDPR evidence packs. Compliance officers query the ledger without writing code.
GodelGate constraints live next to your code as YAML. Reusable across projects, CI, and the Kernel itself.
Drop in vetted skills with provenance. Each skill ships with its own constraints and verification contract.
Agents plan, reason, and verify autonomously. Production deploys still require human approval with a signed Decision Record.
Compliance, CISO, and PM can browse the ledger and constraints in a UI without writing a single line of code.
Who it’s for
Your agents already ship PRs. Now ship them with an audit trail.
Browse every agent decision without learning a query language.
Sovereign deployment. Air-gapped fleets. Edge-native runtime.
Pricing
The Agentic Kernel and MCP integration are free forever. Governance modules — GodelGate, Determinist, compliance exports — are per-seat.
$0
Personal projects and open-source teams.
$49/seat/month
Engineering teams running agent fleets.
Custom
Regulated industries and private deployments.
FAQ
Observability traces what agents did. Archon controls what they are allowed to do, records why every decision was made before it happens, and formally verifies the result. It's a control plane, not a dashboard.
No. Archon sits underneath them. Your agents (Claude Code, Cursor 3.0, custom MCP servers) call into the Kernel; the Kernel emits DecisionRecords, GodelGate enforces constraints, and the Determinist Gateway verifies output before deploy.
When the Determinist Gateway cannot prove correctness — for example, because the change touches an unannotated module — it returns UNVERIFIABLE rather than a confident approval. You decide whether to escalate to a human or block the deploy.
Yes. The Kernel is edge-native. You can run sovereign deployments on your own infrastructure, and the local model path runs on Qwen 3.6 or GLM-5.1 with no external calls.
The Architecture Ledger is backed by Cognee — a hybrid graph + vector + relational store. The graph is queryable from the UI; raw exports are available for audit bundles.
Open core. The Agentic Kernel and MCP integration are open source. GodelGate, the Determinist Gateway, and compliance modules are commercial.
Spin up a workspace, drop in your CLAUDE.md constraints, and watch every agent action flow through the Archon stack.