GitHub
aflpp
Fuzzing with AFL++ for comprehensive binary and source code fuzzing.
☆ 5View skill
Blockchain AI Skills
Discover Blockchain skills, compare source repositories and read the instructions for each workflow.
Categories: Blockchain
Blockchain Clear filters
Browse skills
GitHub
ffmpeg
Media processing (10 man pages).
☆ 5View skill
GitHub
clojure
Clojure ecosystem = babashka + clj + lein + shadow-cljs.
☆ 5View skill
GitHub
cantordust-viz
Binary visualization for human pattern recognition - Ghidra plugin by Chris Domas (xoreaxeaxeax)
☆ 5View skill
GitHub
phase-portrait-generator
Generate phase portraits for 2D dynamical systems. Use when visualizing vector fields, nullclines, and trajectories.
☆ 5View skill
GitHub
tmux
Terminal multiplexer.
☆ 5View skill
GitHub
polyglot-spi
Cross-Language Strong Parallelism Invariance Verification for 15+ languages
☆ 5View skill
GitHub
drive-acset
Google Drive management via DriveACSet schema with GF(3) triadic routing. Transforms files/folders into typed Interactions, routes to queue fibers, detects saturation for organized-drive-as-condensed-state.
☆ 5View skill
GitHub
semgrep
Run Semgrep static analysis for fast security scanning and pattern matching. Use when asked to scan code with Semgrep, write custom YAML rules, find vulnerabilities quickly, use taint mode, or set up Semgrep in...
☆ 5View skill
GitHub
cats-for-ai
cats.for" (Categories for AI)
☆ 5View skill
GitHub
testing-handbook-generator
Generates comprehensive testing handbooks and guides for security testing strategies.
☆ 5View skill
GitHub
tenderloin
Tenderloin: Manifest Destiny Fund for Protocol Labs
☆ 5View skill
GitHub
intent-sink
Intent Sink Skill
☆ 5View skill
GitHub
trifurcated-transfer
Trifurcated Transfer Skill
☆ 5View skill
GitHub
crn-topology
Chemical Reaction Network topology for generating and analyzing reaction
☆ 5View skill
GitHub
lhott-cohesive-linear
Cohesive Linear HoTT patterns for interaction entropy with diagram generation. Implements Schreiber's cohesive modalities (♯,♭,ʃ) and Riley's linear modality (♮) for quantum-classical bridging.
☆ 5View skill
GitHub
jaxlife-open-ended
JaxLife open-ended agentic simulator for emergent behavior, tool use,
☆ 5View skill
GitHub
cognitive-surrogate
Layer 6 Barton Cognitive Surrogate - build, train, validate psychological models with >90% fidelity
☆ 5View skill
GitHub
structured-decomp
StructuredDecompositions.jl: Sheaves on tree decompositions for FPT algorithms
☆ 5View skill
GitHub
curiosity-driven
Schmidhuber's curiosity-driven learning: Intrinsic motivation via compression progress. Seek states that improve world model.
☆ 5View skill
GitHub
discrete-backprop
Gradient-free optimization via discrete perturbations and trit-based learning
☆ 5View skill
GitHub
wev-verification
WEV Verification Skill
☆ 5View skill
GitHub
true-alife
TrueALIFE: Self-Indexing Automata at the Edge of Chaos
☆ 5View skill
GitHub
harness-writing
Writing effective fuzzing harnesses for security testing.
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.