This repository contains Homebrew formulae for A3S Lab projects.
Install the umbrella CLI (provides the a3s binary; interactive Code TUI via a3s code):
brew tap a3s-lab/tap https://github.com/A3S-Lab/homebrew-tap
brew install a3s
a3s --version
a3s code# MicroVM sandbox runtime
brew install a3s-box
# Meta search engine
brew install a3s-search
# Local model management
brew install a3s-power
# Secure personal AI assistant
brew install safeclawbrew install a3s-code installs the legacy standalone a3s-code binary (currently 0.6.0). It does not install a3s.
For the current umbrella CLI and TUI, use:
brew install a3s
a3s codeOld a3s releases depended on a separate a3s-webview formula; current a3s
ships a3s-webview in the same keg. Keeping both causes symlink failures.
Prefer the unified installer (auto-cleans conflicts):
curl --proto '=https' --tlsv1.2 -LsSf \
https://raw.githubusercontent.com/A3S-Lab/a3s/main/install.sh | shOr clean manually, then install only a3s:
brew uninstall a3s-code 2>/dev/null || true
brew uninstall a3s-webview 2>/dev/null || true
brew uninstall --force a3s 2>/dev/null || true
brew install a3s-lab/tap/a3sDo not keep a separate a3s-webview formula installed beside umbrella a3s.
# Update formulae
brew update && brew upgrade a3s a3s-box a3s-search a3s-power
# Uninstall a formula
brew uninstall a3s
# Remove the tap entirely
brew untap a3s-lab/tapa3s— Umbrella CLI (a3sbinary). Runa3s codefor the interactive Code TUI.
a3s-box— Docker-like MicroVM runtime with hardware-gated TEE workflowsa3s-search— Embeddable meta search engine CLI with proxy pool supporta3s-power— Local model management and serving with OpenAI-compatible APIsafeclaw— Secure Personal AI Assistant with TEE Support
a3s-code— Legacy standalonea3s-codebinary (nota3s). Preferbrew install a3sanda3s code.
# Basic search
a3s-search "Rust programming"
# With specific engines
a3s-search "Rust" -e ddg,wiki,baidu
# JSON output
a3s-search "Rust" -f json
# With proxy
a3s-search "Rust" -p socks5://127.0.0.1:1080
# List available engines
a3s-search engineshomebrew-tap/
├── Formula/ # Homebrew formula files
│ ├── a3s.rb # Umbrella CLI (primary)
│ ├── a3s-box.rb # A3S Box
│ ├── a3s-code.rb # Legacy a3s-code binary
│ ├── a3s-power.rb # A3S Power
│ ├── a3s-search.rb # A3S Search
│ └── safeclaw.rb # SafeClaw
├── Casks/
│ └── safeclaw.rb
└── README.md
To test formulas locally:
brew install --build-from-source Formula/a3s.rbMIT