neuron-explorer
Qwen3.5‑4B 전용 조향형 뉴런 탐색기, 모든 MLP 뉴런을 밀어 결과를 보관·탐색
자율 체인 AI 에이전트를 위한 안전 실행 환경, 격리된 샌드박스·라이브러리 스킬·암호화된 비밀
Safe runtime for autonomous on-chain AI agents: isolated sandboxes, Library skills, encrypted secrets.
개발 도구Rust · TypeScriptGitHub @Th0rgal직접 설치운영자 미확인
써 보셨어요? 한 번만 눌러 주세요. 로그인은 필요 없어요.
메이커가 쓴 소개는 위의 한 줄이 전부입니다. 더 자세한 내용은 저장소 README에서 읽을 수 있습니다. 저장소 README ↗
README 전체를 불러오는 중입니다.
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.