Is setup safe to install?

Yes — setup is safe to install, with something worth knowing. Sonnet 5 read every file setup ships from punt-labs/z-spec on 7 September 2026 and found nothing that acts against the person installing it; the static scan of its 26 rules grades it A.

Reviewed by Sonnet 5 on 7 September 2026 · a grade is what a scan and a reading found, not a guarantee · how this works

What the reviewer found

A z-spec /setup command that builds fuzz, probcli and Lean into $HOME/.local without sudo. The flagged sudo apt-get is explicitly 'yours to run' in a non-executable text block, the elan curl downloads the official installer to disk and runs it locally rather than piping to sh, and allowed-tools is a scoped command allowlist, not a wildcard.

What was read

The file as it ships in punt-labs/z-spec:

What the static scan said

The scan flagged 4things. The reviewer kept 0 and dismissed 4 as false.

How this review was made

Sonnet 5 read the files above on 7 September 2026 and answered three questions: is it dangerous to whoever installs it, is each scanner finding real, and what should the installer know. The verdict is bound to the file's hash; when the file changes, it is scanned afresh and reviewed again. A script that changes while the definition does not is not re-reviewed — that is a known gap. How the scan and the review work.

Produced by agentmods.dev · Sonnet 5 · 7 September 2026

← Back to setup