GitHub
synthetic-adjunctions
Synthetic adjunctions in directed type theory for ∞-categorical universal
Skills IA Développement
Découvrez les skills Développement, comparez leurs dépôts et consultez leurs instructions.
Catégories: Développement
Développement Effacer les filtres
Explorer
GitHub
nerv
NERV - Rapid LocalSend Test with Voice
GitHub
mcp-spec-checker
Predicate-level semantic diff for MCP protocol specs. Compares 0618 vs 1125 specs via Narya types, GF(3) evaluators, and Unison-style effects. Use for protocol verification, spec migration, or detecting breakin...
GitHub
gay-mcp
Deterministic color generation with SplitMix64, GF(3) trits, and MCP. Colors are the perceptual rendering of solved constraint systems.
GitHub
skill-creator
Guide for creating effective skills. Use when users want to create a
GitHub
slime-lisp
SLIME integration for Common Lisp development
GitHub
plurigrid-asi-integrated
Unified Plurigrid ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
GitHub
world-hopping
Badiou-inspired possible world navigation using triangle inequality constraints, event ontology, and truth procedures for traversing mathematical possibility space.
GitHub
ultrametric-distance
Non-Archimedean distance metrics for hierarchical clustering and p-adic analysis
GitHub
compression-progress
Schmidhuber's compression progress as intrinsic curiosity reward for
GitHub
latent-latency
Latent-Latency Skill
GitHub
quantum-guitar
Coecke's Quantum Guitar: quantising guitar strings via qubit association, ZX-calculus notation, Moth Actias synth integration
GitHub
cognitive-superposition
Cognitive superposition synthesizing Riehl (∞-categories), Sutskever
GitHub
reversible-computing
Janus and reversible languages: run programs backwards, time-symmetric computation.
GitHub
cat
cat Skill: Derivational Pipe Chaining
GitHub
rubato-composer
Rubato Composer integration for Mazzola's mathematical music theory
GitHub
spectral-locale-debugging
Debug and simulate ghostly phenomena using ordered locale theory and trifurcated interactions
GitHub
smack-policy-auditor
Analyzes SMACK policy files for correctness, label conflicts, and access control issues. Verifies mandatory access control rules.
GitHub
coequalizers
Quotient redundant skill paths via coequalizers, preserving GF(3) conservation
GitHub
slowtime-mcp
Asymmetric time dilation for MCP operations - deliberate slow paths enable capability accumulation through Cat# bicomodule composition.
GitHub
invoice-organizer
Automatically organizes invoices and receipts for tax preparation by
GitHub
rama-gay-clojure
Red Planet Labs Rama with Gay.jl deterministic coloring for 100x backend development with gay-colored parentheses as expressive as tensor shapes.
GitHub
gay-monte-carlo
Gay Monte Carlo Measurements
GitHub
frustration-eradication
Frustration Eradication Skill
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é.