michael-denyer/agent-formal-verify
codex-plugins via github-topics
- Upstream
- github.com/michael-denyer/agent-formal-verify
- Version
0.4.3
Source details
- Revision
v0.4.3tag- Hash
sha256-mdh+ziriIEUb6XXCXtoFO/8ZVqPlnjsFGNMOddEbI4U=- Snapshot
- data/codex-plugins/github.com/michael-denyer/agent-formal-verify.json · latest JSON
1 package
agent-formal-verify
0.4.3
·
.
pkgs.codex-plugins.github.michael-denyer.agent-formal-verify.agent-formal-verifyBuild without the overlay
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.michael-denyer.agent-formal-verify.agent-formal-verify'
The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.