Aegis v0.1.6

Fixes the reviewer looping on unknown semgrep rule ids (it now sees the registered ids and stops guessing). English tool messages.

Install

macOS / Linux

curl -fsSL https://denny.li/install.sh | sh

Windows

irm https://denny.li/install.ps1 | iex

Aegis v0.1.5

Parallelizes scanning (reviewer batches + per-candidate triage) and the agent-built proof environments for a big speedup. Tunable via AEGIS_CONCURRENCY (default 4) and AEGIS_DOCKER_CONCURRENCY (default 2).

Install

macOS / Linux

curl -fsSL https://denny.li/install.sh | sh

Windows

irm https://denny.li/install.ps1 | iex

v0.1.4

fix: harden reviewer transport and semgrep tooling

Aegis v0.1.0

First packaged release.

Install

macOS / Linux

curl -fsSL https://denny.li/install.sh | sh

Windows (PowerShell)

irm https://denny.li/install.ps1 | iex

Then run aegis.