Skip to content
agents.nix
Color theme

beneficial-ai-foundation/formal-verification-skills

codex-plugins via marketplace-crawl

Upstream
github.com/beneficial-ai-foundation/formal-verification-skills
Version
2.3.11
Source details
Revision
v2.3.11 tag
Hash
sha256-//CFcUXXNSBGK9JJ0gagRk37pIBAkgmduwSfGA9SU80=
Snapshot
data/codex-plugins/github.com/beneficial-ai-foundation/formal-verification-skills.json · latest JSON

1 package

fvs

2.3.11 · plugins/fvs 

pkgs.codex-plugins.github.beneficial-ai-foundation.formal-verification-skills.fvs
Build without the overlay 
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.beneficial-ai-foundation.formal-verification-skills.fvs'

The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too.