NIST FIPS 204 ML-DSA POST-QUANTUM SEALED →

The Autonomous Coding Engine Built on Deterministic Proof.

Not a chat wrapper. COODDEE orchestrates specialized coding agents across isolated git worktrees with strict acceptance gates, measurable memory lift, and mathematical cryptographic guarantees.

$
brew install interlock/tap/cooddee
Live Interactive Demo
100%
Git Worktree Isolation
0
Hallucinated PR Merges
FIPS 204
Post-Quantum ML-DSA-65
997+
Pass-or-Fail Negative Tests
Real-Time Control Plane

Experience the 10-Lane Gatekeeper

Watch how autonomous builders, refiners, and reviewers execute verified code in real-time.

cooddee-fleet-runtime: org-interlock-core [relational database engine RLS Enforced]
LIVE SSE
Ready 2
AUTH-104 Builder
Enforce FIPS-140-3 Cryptographic Cipher Allowlist
Security 14.2k tokens
API-88 Builder
Implement Dual-Tenant Predicate in AsyncPG Middleware
Backend 9.8k tokens
Building 1
RATE-42 Lease: 3m 42s
Sliding Window Rate Limiter on Redis Leases
card/RATE-42
Reviewing 1
SEAL-19 Pass: Done-When
ML-DSA-65 Manifest Envelope Verifier
Evaluating Adversarial Gate...
Landed (Done) 3
TENANT-01 ML-DSA Signed
RLS Break-Probe Integration in init
Merge-Base Verified
Active Worker Execution Stream — card/RATE-42 (ClaudeCodeExecutor (Opus 5 / Sonnet 5))
EXEC 0 
[COODDEE-HARNESS] Spawning isolated git worktree: /tmp/cooddee/wt/card-RATE-42
[COODDEE-HARNESS] Setting tenant lock: app.organization_id = 'org-interlock-core'
[BUILDER-AGENT] Implementing sliding-window algorithm in rate_limit.py...
[BUILDER-AGENT] Committing changeset to card/RATE-42 (SHA: 4f981e2)
[ACCEPTANCE-RUNNER] Executing card Done-When: "pytest tests/test_rate_limit.py -q"
[ACCEPTANCE-RUNNER] Exit Code: 0 (18 passed in 1.42s)
[ORCHESTRATOR] Handing off to Reviewer gate: security_review + adversarial_dast
Engineering Rigor

Built on Guarantees, Not Hallucinations

Traditional AI coding tools trust the agent. COODDEE isolates, measures, and cryptographically proves every line.

Git Worktree Isolation

Agents never touch your active working directory. Every single card claim executes in a temporary, dedicated git worktree with transactional DB leases. Concurrency without isolation is refused.

Zero merge collision or context bleeding.

Falsifiable Security Gates

The Done-when is executed by the system—not asked about. Reviewers cannot talk their way to clean; proof of CLEAN: 0 findings with concrete attack payloads is required.

Unparseable output = FAIL-TO-VERIFY rejection.

Statistical Memory Lift

Memory is measured, not accumulated. The Attribution Ledger tracks whether lessons actually increase pass rates: Lift = P(Pass|Lesson) - P(Pass|Baseline). Harmful folklore is automatically demoted.

Self-optimizing algorithmic memory palace.

Post-Quantum Proof Packs

Sealed with NIST FIPS 204 ML-DSA-65 lattice cryptography. Merged cards generate tamper-evident compliance packages ready for FedRAMP High, HITRUST, and SOC 2 auditors.

Quantum-proof mathematical change trail.
The Pipeline State Machine

Three Disjoint Roles. Zero Ambiguity.

Collapsing roles causes agents to perform diffuse, low-quality work. COODDEE enforces strict role boundaries.

BUILDER
Pulls from: ready, needs_rework
Mandate: Implement intent completely, handle all edge cases, and ensure Done-when command exits 0.
Optimal: Claude Opus 5 (Low) or Gemini 3.7 Flash
Forbidden from: Self-certification or polishing.
→
REFINER
Pulls from: built (UI cards only)
Mandate: Perfect empty states, responsive spacing rhythm, accessibility, and micro-animations.
Optimal: Claude Opus 5 (Deep Design) or Gemini 3.7 Flash
Forbidden from: Changing business logic or data structures.
→
REVIEWER
Pulls from: refined / built
Mandate: Verify Done-when execution, intent match, adversarial AST scan, and security clean markers.
Optimal: Claude Sonnet 5 or Gemini 3.7 Flash
Forbidden from: Writing product code.
Commercial Tiers

Engineered for Every Scale

From solo developers on localhost to air-gapped sovereign defense enclaves.

OPEN SOURCE

Community

$0 / forever

Deterministic autonomous coding for individual developers on local checkouts.

  • Dynamic Git Worktree Manager
  • 10-Lane Kanban State Machine
  • Executable Done-When Acceptance Runner
  • Statistical Memory Palace & Lift
  • Local asynchronous server-driven frontend + client-side UI micro-engine Web Dashboard
Get Open Source
POPULAR
MANAGED FLEET

Team

$39 / dev / mo

Real-time team collaboration, shared fleets, and two-way issue tracker sync.

  • Everything in Community
  • WebAuthn / Passkey Biometric Logins
  • Live SSE Board Sync & Terminal Streams
  • Fleet Pause / Resume / Concurrency Resizing
  • supported issue tracking systems Issue Synchronization
  • Serial Auto-Landing Merge Queue
Start Team Trial
GOVERNANCE & VPC

Enterprise

$25k–$60k / year

Multi-tenant relational database engine RLS, dynamic cost routing, and adversarial DAST/fuzzing.

  • Everything in Team
  • relational database engine RLS with Break-Testing
  • Adversarial Review & DAST dynamic web scanner Scanning
  • Targeted Coverage-Guided Fuzzing Gates
  • Dynamic Model Cost Router & Spend Caps
  • SSO / SAML 2.0 & SCIM User Provisioning
Contact Enterprise
HIGH ASSURANCE
DEFENSE & REGULATED

Regulated

$100k+ / year

Continuous FedRAMP High, HITRUST & PCI-DSS compliance in air-gapped enclaves.

  • Everything in Enterprise
  • Unlimited Fleet Concurrency (No Agent Caps)
  • NIST FIPS 204 ML-DSA-65 Signatures
  • FedRAMP High / 20X, HITRUST, PCI-DSS Gates
  • Automated Evidence for 3PAO & FedRAMP 20X
  • Dual-Operator WebAuthn Multi-Sig Approvals
  • Zero Telemetry & Local Private LLM Enclave
Request Regulated Access