Skip to content
agents.nix
Color theme

frenzymath/danus

agent-skills via skillsdirectory-com

Upstream
github.com/frenzymath/danus
Version
0.1.0
Source details
Revision
v0.1.0 tag
Hash
sha256-zcWI4oLNrNAG8mbW6257YoAEw21HG7T9T9lyCqFV6dw=
Snapshot
data/agent-skills/github.com/frenzymath/danus.json · latest JSON

17 packages

check-referenced-statements

0.1.0 · agents/skills/verify/check-referenced-statements 

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

construct-counterexamples

0.1.0 · agents/skills/worker/construct-counterexamples 

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

construct-toy-examples

0.1.0 · agents/skills/worker/construct-toy-examples 

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

consult

0.1.0 · .claude/skills/consult 

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

direct-proving

0.1.0 · agents/skills/worker/direct-proving 

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

elaboration

0.1.0 · .claude/skills/elaboration 

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

human-summary

0.1.0 · .claude/skills/human-summary 

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

identify-key-failures

0.1.0 · agents/skills/worker/identify-key-failures 

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

initialize

0.1.0 · .claude/skills/initialize 

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

obtain-immediate-conclusions

0.1.0 · agents/skills/worker/obtain-immediate-conclusions 

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

propose-subgoal-decomposition-plans

0.1.0 · agents/skills/worker/propose-subgoal-decomposition-plans 

pkgs.agent-skills.github.frenzymath.danus.propose-subgoal-decomposition-plans
Install with home-manager 
programs.claude-code.skills.propose-subgoal-decomposition-plans = pkgs.agent-skills.github.frenzymath.danus.propose-subgoal-decomposition-plans;
Build without the overlay 
nix build 'github:sudosubin/agents.nix#agent-skills.aarch64-darwin.github.frenzymath.danus.propose-subgoal-decomposition-plans'

query-memory

0.1.0 · agents/skills/worker/query-memory 

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

search-math-results

0.1.0 · agents/skills/worker/search-math-results 

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

synthesize-verification-report

0.1.0 · agents/skills/verify/synthesize-verification-report 

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

verify-proof

0.1.0 · agents/skills/worker/verify-proof 

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

verify-sequential-statements

0.1.0 · agents/skills/verify/verify-sequential-statements 

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

write-paper

0.1.0 · .claude/skills/write-paper 

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

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.