proofsh/proofkit

agent-skills via skills-sh

Upstream: github.com/proofsh/proofkit
Version: 0-unstable-2026-10-15

Source details

Revision: cb489a002f2de740308c590691d782edb8538298 commit
Hash: sha256-HB6ofg5ENlWsAd/GGJoG4CGWlMRSlUyV1UrhF00Z258=
Snapshot: data/agent-skills/github.com/proofsh/proofkit.json · latest JSON
Previously: github:proofgeist/proofkit old paths still evaluate and warn

9 packages

better-auth-setup

0-unstable-2026-10-15 · packages/better-auth/skills/better-auth-setup

pkgs.agent-skills.github.proofsh.proofkit.better-auth-setup

Install with home-manager

programs.claude-code.skills.better-auth-setup = pkgs.agent-skills.github.proofsh.proofkit.better-auth-setup;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.better-auth-setup'

create-changeset

0-unstable-2026-10-15 · .agents/skills/create-changeset

pkgs.agent-skills.github.proofsh.proofkit.create-changeset

Install with home-manager

programs.claude-code.skills.create-changeset = pkgs.agent-skills.github.proofsh.proofkit.create-changeset;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.create-changeset'

fmdapi-client

0-unstable-2026-10-15 · packages/fmdapi/skills/fmdapi-client

pkgs.agent-skills.github.proofsh.proofkit.fmdapi-client

Install with home-manager

programs.claude-code.skills.fmdapi-client = pkgs.agent-skills.github.proofsh.proofkit.fmdapi-client;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.fmdapi-client'

fmodata-client

0-unstable-2026-10-15 · packages/fmodata/skills/fmodata-client

pkgs.agent-skills.github.proofsh.proofkit.fmodata-client

Install with home-manager

programs.claude-code.skills.fmodata-client = pkgs.agent-skills.github.proofsh.proofkit.fmodata-client;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.fmodata-client'

odata-query-optimization

0-unstable-2026-10-15 · packages/fmodata/skills/odata-query-optimization

pkgs.agent-skills.github.proofsh.proofkit.odata-query-optimization

Install with home-manager

programs.claude-code.skills.odata-query-optimization = pkgs.agent-skills.github.proofsh.proofkit.odata-query-optimization;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.odata-query-optimization'

typegen-fmdapi

0-unstable-2026-10-15 · packages/fmdapi/skills/typegen-fmdapi

pkgs.agent-skills.github.proofsh.proofkit.typegen-fmdapi

Install with home-manager

programs.claude-code.skills.typegen-fmdapi = pkgs.agent-skills.github.proofsh.proofkit.typegen-fmdapi;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.typegen-fmdapi'

typegen-fmodata

0-unstable-2026-10-15 · packages/fmodata/skills/typegen-fmodata

pkgs.agent-skills.github.proofsh.proofkit.typegen-fmodata

Install with home-manager

programs.claude-code.skills.typegen-fmodata = pkgs.agent-skills.github.proofsh.proofkit.typegen-fmodata;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.typegen-fmodata'

webdirect-runtime

0-unstable-2026-10-15 · packages/webviewer/skills/webdirect-runtime

pkgs.agent-skills.github.proofsh.proofkit.webdirect-runtime

Install with home-manager

programs.claude-code.skills.webdirect-runtime = pkgs.agent-skills.github.proofsh.proofkit.webdirect-runtime;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.webdirect-runtime'

webviewer-integration

0-unstable-2026-10-15 · packages/webviewer/skills/webviewer-integration

pkgs.agent-skills.github.proofsh.proofkit.webviewer-integration

Install with home-manager

programs.claude-code.skills.webviewer-integration = pkgs.agent-skills.github.proofsh.proofkit.webviewer-integration;

Build without the overlay

nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.proofsh.proofkit.webviewer-integration'

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.