mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
6679908f7b
Project-wide sweep to find and fix every place Lean was treated as secondary,
optional, or subordinate to Python/Rust. The invariant: Lean is the source of
truth. Python and Rust are extraction targets only; they contain no logic, no
invariant checks, no decisions.
Changes:
1-Distributed-Systems/ene/src/lib.rs
- CRITICAL: Remove 'Rust is the canonical implementation language for
operational components' — replace with correct extraction-target framing
1-Distributed-Systems/agents/claw/README.md
- Remove 'canonical implementation lives in rust/' and 'source of truth is
ultraworkers/claw-code' blanket claims — scope to CLI binary only;
add Research Stack domain-logic note (Lean is source of truth per AGENTS.md)
- 'canonical Rust workspace' → 'Rust workspace (I/O extraction target)'
1-Distributed-Systems/agents/claw/src/Tool.py
- 'Python-first porting summary' → 'Lean-to-Python extraction summary'
1-Distributed-Systems/agents/claw/src/projectOnboardingState.py
- python_first: bool = True → lean_first: bool = True (Lean always leads)
6-Documentation/docs/specs/ENE_MEMORY_ATLAS_SPEC.md
- CRITICAL: 'Python first (reference) ... Lean-formal next' → correct order:
Lean specification first, Python extraction shim, Verilog hardware extraction
6-Documentation/docs/recovered/geocognition_equation_types_map.mmd
- 'Lean owns logic; Rust owns boundary' → 'Lean owns all logic and decisions;
Rust is boundary shim only'
6-Documentation/docs/semantics/HYPER_DIMENSIONAL_PHYSICS_INTRO.md
- 'Python implementation ... Lean formalization' → 'Lean specification (source
of truth) ... Python extraction shim'
6-Documentation/docs/geometry/GEOMETRY_TAXONOMY_FOR_NLOCAL_ADAPTATION.md
- 'reference specification for the Python implementation' → 'source of truth;
Python is an extraction shim against this spec'
6-Documentation/docs/protocols/TM_MCP_SPECIFICATION.md
- 'Python reference implementation' → 'Python extraction shim' (×2)
5-Applications/scripts/snn/README.md
- 'deterministic Python reference' → 'Python extraction shim / golden-vector
harness'; add TODO(lean-port) note; RTL must match 'Python shim (pending
Lean golden vector)' not 'Python reference'
6-Documentation/docs/METAPROBE_APPROACH.md
- 'DeltaGCLCompression.lean — Lean implementation / scripts/delta_gcl_encoder.py
— Python reference implementation' → Lean is source of truth / Python is
extraction shim
Generated with Devin (https://cli.devin.ai/docs)
Co-Authored-By: Devin <158243242+devin-ai-integration[bot]@users.noreply.github.com>
103 lines
4.2 KiB
Markdown
103 lines
4.2 KiB
Markdown
# Claw Code
|
|
|
|
<p align="center">
|
|
<a href="https://github.com/ultraworkers/claw-code">ultraworkers/claw-code</a>
|
|
·
|
|
<a href="./USAGE.md">Usage</a>
|
|
·
|
|
<a href="./rust/README.md">Rust workspace</a>
|
|
·
|
|
<a href="./PARITY.md">Parity</a>
|
|
·
|
|
<a href="./ROADMAP.md">Roadmap</a>
|
|
·
|
|
<a href="https://discord.gg/5TUQKqFWd">UltraWorkers Discord</a>
|
|
</p>
|
|
|
|
<p align="center">
|
|
<a href="https://star-history.com/#ultraworkers/claw-code&Date">
|
|
<picture>
|
|
<source media="(prefers-color-scheme: dark)" srcset="https://api.star-history.com/svg?repos=ultraworkers/claw-code&type=Date&theme=dark" />
|
|
<source media="(prefers-color-scheme: light)" srcset="https://api.star-history.com/svg?repos=ultraworkers/claw-code&type=Date" />
|
|
<img alt="Star history for ultraworkers/claw-code" src="https://api.star-history.com/svg?repos=ultraworkers/claw-code&type=Date" width="600" />
|
|
</picture>
|
|
</a>
|
|
</p>
|
|
|
|
<p align="center">
|
|
<img src="assets/claw-hero.jpeg" alt="Claw Code" width="300" />
|
|
</p>
|
|
|
|
Claw Code is the public Rust implementation of the `claw` CLI agent harness.
|
|
The canonical Rust binary lives in [`rust/`](./rust), and the upstream source for this CLI is **ultraworkers/claw-code**.
|
|
Note: for Research Stack domain logic (not CLI I/O), Lean is the source of truth per AGENTS.md; Rust is an extraction target.
|
|
|
|
> [!IMPORTANT]
|
|
> Start with [`USAGE.md`](./USAGE.md) for build, auth, CLI, session, and parity-harness workflows. Make `claw doctor` your first health check after building, use [`rust/README.md`](./rust/README.md) for crate-level details, read [`PARITY.md`](./PARITY.md) for the current Rust-port checkpoint, and see [`docs/container.md`](./docs/container.md) for the container-first workflow.
|
|
|
|
## Current repository shape
|
|
|
|
- **`rust/`** — Rust workspace and the `claw` CLI binary (I/O extraction target)
|
|
- **`USAGE.md`** — task-oriented usage guide for the current product surface
|
|
- **`PARITY.md`** — Rust-port parity status and migration notes
|
|
- **`ROADMAP.md`** — active roadmap and cleanup backlog
|
|
- **`PHILOSOPHY.md`** — project intent and system-design framing
|
|
- **`src/` + `tests/`** — companion Python/reference workspace and audit helpers; not the primary runtime surface
|
|
|
|
## Quick start
|
|
|
|
> [!NOTE]
|
|
> **`cargo install clawcode` will not work** — this package is not published on crates.io. Build from source as shown below.
|
|
|
|
```bash
|
|
# 1. Clone and build
|
|
git clone https://github.com/ultraworkers/claw-code
|
|
cd claw-code/rust
|
|
cargo build --workspace
|
|
|
|
# 2. Set your API key (Anthropic API key — not a Claude subscription)
|
|
export ANTHROPIC_API_KEY="sk-ant-..."
|
|
|
|
# 3. Verify everything is wired correctly
|
|
./target/debug/claw doctor
|
|
|
|
# 4. Run a prompt
|
|
./target/debug/claw prompt "say hello"
|
|
```
|
|
|
|
> [!NOTE]
|
|
> **Windows (PowerShell):** the binary is `claw.exe`, not `claw`. Use `.\target\debug\claw.exe` or run `cargo run -- prompt "say hello"` to skip the path lookup.
|
|
|
|
> [!NOTE]
|
|
> **Auth:** claw requires an **API key** (`ANTHROPIC_API_KEY`, `OPENAI_API_KEY`, etc.) — Claude subscription login is not a supported auth path.
|
|
|
|
Run the workspace test suite:
|
|
|
|
```bash
|
|
cd rust
|
|
cargo test --workspace
|
|
```
|
|
|
|
## Documentation map
|
|
|
|
- [`USAGE.md`](./USAGE.md) — quick commands, auth, sessions, config, parity harness
|
|
- [`rust/README.md`](./rust/README.md) — crate map, CLI surface, features, workspace layout
|
|
- [`PARITY.md`](./PARITY.md) — parity status for the Rust port
|
|
- [`rust/MOCK_PARITY_HARNESS.md`](./rust/MOCK_PARITY_HARNESS.md) — deterministic mock-service harness details
|
|
- [`ROADMAP.md`](./ROADMAP.md) — active roadmap and open cleanup work
|
|
- [`PHILOSOPHY.md`](./PHILOSOPHY.md) — why the project exists and how it is operated
|
|
|
|
## Ecosystem
|
|
|
|
Claw Code is built in the open alongside the broader UltraWorkers toolchain:
|
|
|
|
- [clawhip](https://github.com/Yeachan-Heo/clawhip)
|
|
- [oh-my-openagent](https://github.com/code-yeongyu/oh-my-openagent)
|
|
- [oh-my-claudecode](https://github.com/Yeachan-Heo/oh-my-claudecode)
|
|
- [oh-my-codex](https://github.com/Yeachan-Heo/oh-my-codex)
|
|
- [UltraWorkers Discord](https://discord.gg/5TUQKqFWd)
|
|
|
|
## Ownership / affiliation disclaimer
|
|
|
|
- This repository does **not** claim ownership of the original Claude Code source material.
|
|
- This repository is **not affiliated with, endorsed by, or maintained by Anthropic**.
|