chipweaver/veripower
codex-plugins via github-code
- Upstream
- github.com/chipweaver/veripower
- Version
0-unstable-2026-10-19
Source details
- Revision
1326b316b7d06147dc726efc0de9d35bfffec8e3commit- Hash
sha256-vBwSv4/IimNV05KU3hdJLzRaE8riw/+LW/SLiSc9cH0=- Snapshot
- data/codex-plugins/github.com/chipweaver/veripower.json · latest JSON
1 package
veripower
0-unstable-2026-10-19
·
.
pkgs.codex-plugins.github.chipweaver.veripower.veripowerBuild without the overlay
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.chipweaver.veripower.veripower'
The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.