AI Decision System
Replayable, offline-verifiable records for AI-assisted go/no-go decisions: experiment promotions, typed model answers and human-approved actions.
Safe runtime for autonomous on-chain AI agents: isolated sandboxes, Library skills, encrypted secrets.
Translation pending
Developer toolsRust · TypeScriptGitHub @Th0rgalSelf-installOwner unconfirmed
Paste into Claude or ChatGPT for installation instructions suited to your environment.
Have you tried it? One tap is enough. No sign-in needed.
The maker's introduction consists of the line above. Read the repository README for more details. Repository README ↗
Loading the full README.
Read the full README ↗| Mode | Where it runs | How you use it |
|---|---|---|
| Your computer | A local coding agent on your desktop | Choose New Agent → This computer, then a harness and model. Work with your local files and tools. |
| Your private cloud | Your own servers and remote machines | Add machines to Core, then select one in Orb. Run agents in the configured host or isolated container workspace. |
| Cloud agents | A coordinator or provider-managed assistant | Choose Cloud agent, then Hermes, Grok Bot or Cursor Cloud. Continue durable or provider conversations from Orb. |
Use Claude Code, Codex, Antigravity, OpenCode or Grok for local and remote work, with live model, effort and cyber-access controls where supported. Cloud agents have their own connections: Hermes binds to durable coordinator conversations and router chains; Grok Bot uses its connected account; Cursor Cloud uses its official API with a repository, Git reference and model.
Projects organize missions, per-project colors, skills and a synced local Context folder in Finder. Inside a conversation:
Worked — … tool/thought folds,
nested subagents and callback reviews, inline prompt editing, and a
Cursor-style follow-up queue that sends on turn completion or immediately./btw side-agent panel (⌘⇧J) to ask
questions with shared workspace context without interrupting the main turn.Orb for iOS connects to the same Core server: browse projects with synced colors, inspect mission transcripts and activity folds, send follow-ups, view or edit shared Markdown context, and manage backend, machines and providers.
Sign in to supported subscription accounts directly from Providers in Orb (macOS, web and iOS) or connect them through CLIProxyAPI Plus. You can authenticate via OAuth, renew tokens, enable or disable individual accounts, and inspect live plan/quota status; the proxy handles routing and rotation across eligible accounts while Orb lets you choose the harness and model.
This routes model inference for coding agents. Managed cloud agents use separate service adapters; connecting a proxy account does not create a Cursor Cloud API account.
Orb is the client; Core is its backend.
Desktop is built with Tauri and SolidJS; iOS uses SwiftUI. The Rust backend owns
projects, missions, event history and remote-node coordination, backed by a
Lean 4 decision kernel for orchestration, proxy and mission lifecycle, and
cross-client projections. Rust performs I/O; the verified decisions compile to
liborb_spec_cabi.a without a Lean runtime dependency. The
ABI manifest records the exported functions,
and the kernel audit checks the proof boundary.
These guarantees cover the decision kernel, not the entire application.
Cloud adapters observe provider work independently of the client window.
The same control plane is available over MCP for coordinators such as Hermes. Automation uses the same project and mission records as Orb.
Documentation index · Execution architecture · Workspaces · MCP and Hermes · Development and troubleshooting
Orb (orb.thomas.md) · Powered by Core.