GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
☆ 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
kolmogorov-codex-quest
Kolmogorov Codex Quest
☆ 5View skill
GitHub
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
☆ 5View skill
GitHub
haskell-diagrams
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
☆ 5View skill
GitHub
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
☆ 5View skill
GitHub
cynara-policy-checker
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
☆ 5View skill
GitHub
pun-decomposition
Pun Decomposition Skill (MINUS -1)
☆ 5View skill
GitHub
anoma-intents
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
☆ 5View skill
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
☆ 5View skill
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
☆ 5View skill
GitHub
birkhoff-average
Time average of observable along trajectory
☆ 5View skill
GitHub
address-sanitizer
Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.
☆ 5View skill
GitHub
mruler
mruler - Meta-Ruler Skill Governance
☆ 5View skill
GitHub
cairo-vulnerability-scanner
Scans Cairo/StarkNet smart contracts for 6 critical vulnerabilities including felt252 arithmetic overflow, L1-L2 messaging issues, address conversion problems, and signature replay. Use when auditing StarkNet p...
☆ 5View skill
GitHub
catsharp-galois
CatSharp Scale Galois Connections between agent-o-rama and Plurigrid ACT via Mazzola's categorical music theory
☆ 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.