1.5.0: Agent37 cloud and Antigravity

Auto Research 1.5.0 includes Agent37 alongside Daytona for private cloud Codex sandboxes, plus Antigravity (agy) in the local provider dropdown.

• In Connections & settings → Cloud, select Agent37 or Daytona, save your own API key and complete the separate cloud Codex sign-in.
• Select Antigravity from the main provider dropdown for local research. Set its installed agy executable path and sign in through Connections & settings. The model follows your CLI’s configured default; permission bypass remains opt-in.
• Includes the current source’s MUSE starter projects, shared Lean verifier tools, checkpoint sharing and research-method monitoring.
• Includes the Agent37 sponsorship announcement and updated setup documentation.

Verified before upload: launched the application directly from this DMG, selected Agent37 in Cloud settings, and selected Antigravity in the main research dropdown. Screenshots and a machine-readable verification receipt are attached. No research or model calls were launched for these UI checks; live Agent37 execution remains unverified.

The app and DMG are Developer ID signed, Apple notarized and stapled. Signature, Gatekeeper, disk image integrity, portable defaults and absence of account files were checked. The merged code’s automated verification passed 127 Swift and 58 Python tests; opt-in live tests were skipped and the known catalog snapshot test was excluded.

Requires macOS 14+ and Apple Silicon. Download the DMG, quit any older Auto Research window, then drag Auto Research into Applications and open the new copy. An already running older copy can keep showing the old provider menu. Your existing research workspace and chats are preserved by the app’s saved settings; no migration or research restart is performed by the installer.

Source and setup guide. Verify the DMG’s SHA-256 using its accompanying checksum file.

1.4.0: Daytona execution and fast checkpoint sharing

Run research in private Daytona sandboxes with the same native chat and parallel-agent controls. Save your Daytona API key in macOS Keychain, complete the separate cloud Codex device sign-in, then choose local or cloud execution. Existing chats retain their original execution backend.

Share context now uses fast live checkpoints only: agents maintain compact files while working; the harness drains owned processes, snapshots and combines checkpoint contents verbatim, then supplies them to fresh sessions. There is no synthesis-model call. Checkpoint snapshots, chats and session lineage are preserved.

Cloud workers use private checkouts and fresh provider state. Credentials are transferred only between authorized cloud sandboxes; the app never uploads Mac Codex account files. Management credentials stay on Daytona's API origin. Owned work is exported with credential exclusion and every-entry/hash verification before archival; failed exports preserve the filesystem. Added official device-login streaming, cancellation and owned-compute stop controls.

Includes the compact one-line agent toolbar and benchmark charts/data, including Daytona versus partial historical Mac controls and a clearly provisional old-synthesis comparison. These baseline-eligible finite construction timings do not establish a new research milestone or causal speedup.

Validation: native regression suite; real local two-worker/fresh-successor checkpoint test; real Daytona two-worker/two-successor transport test; owned Linux cancellation and verified recovery archives; actual device-login URL/code streaming and cancellation; Keychain, token-origin confinement, ownership and archive-tampering checks. Cloud execution currently supports Codex; local execution also supports Claude.

Requires macOS 14+ and Apple Silicon. The app and DMG are Developer ID signed, Apple notarized and stapled. Download the DMG and verify its SHA-256 using the accompanying checksum file.