Lab

Active research initiatives. Each has a dedicated page with current status, recent commits, and the canonical write-up when available.

Humanoid foundation policy. Physics-conditioned BC pretrain bootstrapped from AMASS into a 56-joint mimic-PD action space.

Long-document and multi-chart research pipelines. Includes the autoresearchclaw-finance variant with formal math-verify stage.

Leanstral-2603 GGUF + Lean 4 / Mathlib4 verifier. Allowlisted to trading and research formal-proof callers.

Multi-mode pipeline (dev, brownfield, design, vision, apple-native) with diffusion visual-verification and refrag image namespace ingest.

Native macOS / iOS / visionOS client work. Sandboxed, signed, with on-device model fallbacks via the Mac fleet sisyphus tier.