Skip to content
agents.nix
Color theme

younes-io/agent-skills

codex-plugins via marketplace-crawl

Upstream
github.com/younes-io/agent-skills
Version
0.1.8
Source details
Revision
v0.1.8 tag
Hash
sha256-chCu/JmgzW5Y6UBfAPy8zolL9Rp3zATLEZ3lZ/zPP0U=
Snapshot
data/codex-plugins/github.com/younes-io/agent-skills.json · latest JSON

1 package

tla-workbenches

0.1.8 · plugins/tla-workbenches

pkgs.codex-plugins.github.younes-io.agent-skills.tla-workbenches
Build without the overlay
nix build 'github:sudosubin/agents.nix#codex-plugins.aarch64-darwin.github.younes-io.agent-skills.tla-workbenches'

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