GitHub
algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
☆ 5View skill
Documentation AI Skills
Discover Documentation skills, compare source repositories and read the instructions for each workflow.
Categories: Documentation
Documentation Clear filters
Browse skills
GitHub
aristotle-lean
IMO Gold Medal level Lean4 theorem proving via Harmonic API
☆ 5View skill
GitHub
markov-game-acset
markov-game-acset skill
☆ 5View skill
GitHub
three-match
3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction
☆ 5View skill
GitHub
ward-identity-checker
Ward Identity Checker
☆ 5View skill
GitHub
social-emergence-protocol
Minimal interaction patterns that bootstrap complex social behaviors in distributed systems
☆ 5View skill
GitHub
spi-parallel-verify
Verify Strong Parallelism Invariance (SPI) and GF(3) conservation for 3-way color streams with arbitrary precision.
☆ 5View skill
GitHub
protocol-acset
Model decentralized protocols as attributed C-sets for compositional analysis, interoperability design, and protocol evolution. Apply categorical mathematics to P2P infrastructure.
☆ 5View skill
GitHub
sheaf-cohomology
Čech cohomology for local-to-global consistency verification in code
☆ 5View skill
GitHub
dynamic-sufficiency-goblin
Self-regulating Goblins actor implementing Ivan Illich's dynamic sufficiency
☆ 5View skill
GitHub
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely
☆ 5View skill
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.
☆ 5View skill
GitHub
cheapskate
Cheapskate Skill
☆ 5View 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.
☆ 5View skill
GitHub
xenodium-elisp
Xenodium's Emacs packages: chatgpt-shell, agent-shell, dwim-shell-command, and ACP integration for modern Emacs development.
☆ 5View skill
GitHub
hatchery-papers
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX, colored operads, and higher observational type theory.
☆ 5View skill
GitHub
juvix-intents
Juvix intent-centric language for Anoma with Geb compilation and GF(3) typed resources
☆ 5View skill
GitHub
specter-navigator-gadget
Unified Specter/Navigator/3-MATCH architecture with bidirectional path compilation
☆ 5View skill
GitHub
trajectory
Path traced by solution through phase space
☆ 5View skill
GitHub
code-documentation
Writing effective code documentation - API docs, README files, inline
☆ 5View skill
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...
☆ 5View skill
GitHub
meeting-insights-analyzer
Analyzes meeting transcripts and recordings to uncover behavioral patterns,
☆ 5View skill
GitHub
fuzzing-obstacles
Overcoming fuzzing obstacles and improving fuzzer effectiveness.
☆ 5View skill
GitHub
nix-acset-worlding
Model Nix store as Attributed C-Set for dependency verification, GC analysis,
☆ 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.