GitHub
pijul-sparse-skills
Sparsity-preserving skill versioning via Pijul patches with GF(3) projection gates
plurigrid AI Skills
GitHub ↗Explorez les skills IA publiés de plurigrid et consultez leurs instructions source.
Statistiques de l’auteur
Skills indexés
639Étoiles des dépôts des skills indexés
3,235Forks du dépôt
1,917Moyenne des étoiles par skill indexé
5Les étoiles d’un dépôt peuvent se répéter entre ses skills.
Catégories populaires
Indexation récente
Explorer
GitHub
kolmogorov-codex-quest
Kolmogorov Codex Quest
GitHub
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key
GitHub
haskell-diagrams
haskell-diagrams - Declarative Vector Graphics with Diagrams DSL
GitHub
bmorphism-stars
bmorphism's GitHub stars (2155 repos) and created repos - a curated index of applied category theory, MCP servers, and xenomodern tooling.
GitHub
cynara-policy-checker
Queries Cynara database and validates runtime privilege policies. Coordinates access control decisions across system services.
GitHub
pun-decomposition
Pun Decomposition Skill (MINUS -1)
GitHub
anoma-intents
Anoma intent-centric architecture for cross-chain obstruction passing with Geb semantics and Juvix compilation
GitHub
borkdude
Babashka and ClojureScript runtime selection guidance by @borkdude
GitHub
codex-self-rewriting
Lisp machine self-modification patterns via MCP Tasks and Narya bridge types
GitHub
birkhoff-average
Time average of observable along trajectory
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.
GitHub
mruler
mruler - Meta-Ruler Skill Governance
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...
GitHub
catsharp-galois
CatSharp Scale Galois Connections between agent-o-rama and Plurigrid ACT via Mazzola's categorical music theory
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.