GitHub
constraint-generalization
Generalization and composition of constraints across navigators
☆ 5View skill
plurigrid AI Skills
GitHub ↗Browse published AI skills maintained by plurigrid. Compare skill descriptions and follow each source repository for setup instructions.
Author statistics
Indexed skills
639Repository stars across indexed skills
3,235Repository forks
1,917Average repository stars per indexed skill
5Repository stars may repeat across skills from the same repository.
Popular categories
Recent indexing activity
Browse skills
GitHub
emacs
Emacs ecosystem = elisp + org + gnus + tramp + eglot.
☆ 5View skill
GitHub
substrate-vulnerability-scanner
Scans Substrate/Polkadot pallets for 7 critical vulnerabilities including arithmetic overflow, panic DoS, incorrect weights, and bad origin checks. Use when auditing Substrate runtimes or FRAME pallets. (projec...
☆ 5View skill
GitHub
stellogen
Stellogen Skill
☆ 5View skill
GitHub
sicp
SICP: Structure and Interpretation of Computer Programs - computational processes, abstraction, and metalinguistic design
☆ 5View skill
GitHub
anima-theory
ANIMA as limit construction over condensed skill applications. Formalizes prediction markets as belief ANIMAs, structure dishes as condensation media, and impact as equivalence class change. Use for understandi...
☆ 5View skill
GitHub
datalog-fixpoint
Datalog bottom-up fixpoint iteration for recursive queries
☆ 5View skill
GitHub
babashka-clj
Babashka scripting for fast Clojure execution. JVM-less scripting with GraalVM native compilation and sci interpreter.
☆ 5View skill
GitHub
bdd-mathematical-verification
BDD-Driven Mathematical Content Verification Skill Combines Behavior-Driven Development with mathematical formula extraction, verification, and transformation using: - Cucumber/Gherkin for specification - RSpe...
☆ 5View skill
GitHub
privilege-declaration-generator
Generates tizen-manifest.xml and config.xml privilege declarations. Auto-detects required privileges from app source code.
☆ 5View skill
GitHub
rama-gay-zig
rama-gay-zig skill
☆ 5View skill
GitHub
discopy-operads
DiscoPy Operads Skill
☆ 5View skill
GitHub
koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
☆ 5View skill
GitHub
discohy-streams
DisCoPy categorical color streams via Hy with 3 parallel TAP streams and 7 operad variants
☆ 5View skill
GitHub
active-interleave
Active Interleave Skill
☆ 5View skill
GitHub
cognitive-surrogate
cognitive-surrogate skill
☆ 5View skill
GitHub
behaviour-surprisal-analysis
Behaviour Surprisal Analysis
☆ 5View skill
GitHub
smack-policy-generator
Generates SMACK policy files from app requirements. Creates mandatory access control rules for process isolation and resource access.
☆ 5View skill
GitHub
mbius-path-filtering
Non-orientable topological filtering that eliminates self-revisiting paths
☆ 5View skill
GitHub
acsets-hatchery
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
☆ 5View skill
GitHub
modelica
Modelica acausal equation-based multi-domain modeling via Wolfram Language. Chemputation-native simulation with automatic conservation laws. Lambda-Modelica bridge for string diagram semantics. Fixed point clas...
☆ 5View skill
GitHub
kinetic-block
Kinetic Block Skill
☆ 5View skill
GitHub
critical-opalescence
Critical opalescence at phase transitions: diverging correlation length, light scattering, and the visual signature of criticality in fluids, proteins, and complex systems
☆ 5View skill
GitHub
shadow-goblin
shadow-goblin
☆ 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.