GitHub
unwiring-arena
Play/Coplay arena theory for autopoietic closure with GF(3) conservation
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
bumpus-narratives
Sheaves on time categories for compositional temporal reasoning. Bumpus
GitHub
hyperbolicity
No eigenvalues on imaginary axis (robust dynamics)
GitHub
pitchfork
Symmetric bifurcation with symmetry breaking
GitHub
moebius-inversion
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
GitHub
code-review
Automated code review for pull requests using specialized review patterns.
GitHub
browser-history-acset
Browser History ACSet
GitHub
bmorphism-interactome
GitHub interactome explorer for bmorphism/plurigrid ecosystem. Maps collaborations across AlgebraicJulia, Topos Institute, Anthropic, and MCP servers. Use for discovering cobordisms between research communities...
GitHub
algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
GitHub
aristotle-lean
IMO Gold Medal level Lean4 theorem proving via Harmonic API
GitHub
markov-game-acset
markov-game-acset skill
GitHub
three-match
3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction
GitHub
ward-identity-checker
Ward Identity Checker
GitHub
social-emergence-protocol
Minimal interaction patterns that bootstrap complex social behaviors in distributed systems
GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.
GitHub
protocol-acset
Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.
GitHub
sheaf-cohomology
Čech cohomology for local-to-global consistency verification in code
GitHub
dynamic-sufficiency-goblin
Self-regulating Goblins actor implementing Ivan Illich's dynamic sufficiency
GitHub
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely
GitHub
ordered-locale-fanout
UPDATED: Now uses proper ordered-locale (Heunen-van der Schaaf 2024). Cocone construction over triadic ordered locale with open cone condition.
GitHub
cheapskate
Cheapskate Skill
GitHub
jira-issues
Create, update, and manage Jira issues from natural language. Use when the user wants to log bugs, create tickets, update issue status, or manage their Jira backlog.
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
GitHub
hatchery-papers
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type 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é.