Skip to content
agents.nix
Color theme

rokabytedev/proofrun

agent-skills via skills-sh

Upstream
github.com/rokabytedev/proofrun
Version
0.3.0-unstable-2026-03-20
Source details
Revision
bf607b5194cc682812fcba99641090680862377b commit
Hash
sha256-T63aG7ddxlS35fqxTTWX3bpPqNCBckzvGO35eEwCaPE=
Snapshot
data/agent-skills/github.com/rokabytedev/proofrun.json · latest JSON

11 packages

openspec-apply-change

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-apply-change 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-apply-change
Install with home-manager 
programs.claude-code.skills.openspec-apply-change = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-apply-change;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-apply-change'

openspec-archive-change

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-archive-change 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-archive-change
Install with home-manager 
programs.claude-code.skills.openspec-archive-change = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-archive-change;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-archive-change'

openspec-bulk-archive-change

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-bulk-archive-change 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-bulk-archive-change
Install with home-manager 
programs.claude-code.skills.openspec-bulk-archive-change = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-bulk-archive-change;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-bulk-archive-change'

openspec-continue-change

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-continue-change 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-continue-change
Install with home-manager 
programs.claude-code.skills.openspec-continue-change = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-continue-change;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-continue-change'

openspec-explore

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-explore 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-explore
Install with home-manager 
programs.claude-code.skills.openspec-explore = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-explore;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-explore'

openspec-ff-change

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-ff-change 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-ff-change
Install with home-manager 
programs.claude-code.skills.openspec-ff-change = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-ff-change;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-ff-change'

openspec-new-change

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-new-change 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-new-change
Install with home-manager 
programs.claude-code.skills.openspec-new-change = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-new-change;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-new-change'

openspec-onboard

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-onboard 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-onboard
Install with home-manager 
programs.claude-code.skills.openspec-onboard = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-onboard;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-onboard'

openspec-sync-specs

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-sync-specs 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-sync-specs
Install with home-manager 
programs.claude-code.skills.openspec-sync-specs = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-sync-specs;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-sync-specs'

openspec-verify-change

0.3.0-unstable-2026-03-20 · .claude/skills/openspec-verify-change 

pkgs.agent-skills.github.rokabytedev.proofrun.openspec-verify-change
Install with home-manager 
programs.claude-code.skills.openspec-verify-change = pkgs.agent-skills.github.rokabytedev.proofrun.openspec-verify-change;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.openspec-verify-change'

proofrun

0.3.0 own pin · skills/proofrun 

pkgs.agent-skills.github.rokabytedev.proofrun.proofrun
Install with home-manager 
programs.claude-code.skills.proofrun = pkgs.agent-skills.github.rokabytedev.proofrun.proofrun;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.rokabytedev.proofrun.proofrun'

The build command uses aarch64-darwin; aarch64-linux and x86_64-linux work too. Any agent that reads a skills directory can use these packages; see the usage guide for installation.