GitHub
algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
Skills IA Documentation
Découvrez les skills Documentation, comparez leurs dépôts et consultez leurs instructions.
Catégories: Documentation
Documentation Effacer les filtres
Explorer
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.
GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
GitHub
specter-navigator-gadget
Unified Specter/Navigator/3-MATCH architecture with bidirectional path compilation
GitHub
trajectory
Path traced by solution through phase space
GitHub
code-documentation
Writing effective code documentation - API docs, README files, inline
GitHub
lean-proof-walk
GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...
GitHub
meeting-insights-analyzer
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
GitHub
fuzzing-obstacles
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
GitHub
nix-acset-worlding
Model Nix store as Attributed C-Set for dependency verification, GC analysis,
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é.