GitHub
ducklake-walk
Ergodic random walks over DuckLake lakehouses with GF(3) triadic concurrent walkers. Society-of-mind coordination for schema exploration.
☆ 5View skill
Testing & security AI Skills
Discover Testing & security skills, compare source repositories and read the instructions for each workflow.
Categories: Testing & security
Testing & security Clear filters
Browse skills
GitHub
mathpix-ocr
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
☆ 5View skill
GitHub
reflow
Information Reflow Skill (ERGODIC 0)
☆ 5View skill
GitHub
gmail-anima
Gmail inbox management via ANIMA condensation. Transforms messages into GF(3)-typed Interactions, routes to triadic queues, detects saturation for inbox-zero-as-condensed-state. Use for email triage, workflow a...
☆ 5View skill
GitHub
reafference-corollary-discharge
Von Holst reafference and corollary discharge for behavioral verification and signal processing
☆ 5View skill
GitHub
unwiring-arena
Play/Coplay arena theory for autopoietic closure with GF(3) conservation
☆ 5View skill
GitHub
bumpus-narratives
Sheaves on time categories for compositional temporal reasoning. Bumpus
☆ 5View skill
GitHub
hyperbolicity
No eigenvalues on imaginary axis (robust dynamics)
☆ 5View skill
GitHub
pitchfork
Symmetric bifurcation with symmetry breaking
☆ 5View skill
GitHub
moebius-inversion
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
☆ 5View skill
GitHub
code-review
Automated code review for pull requests using specialized review patterns.
☆ 5View skill
GitHub
browser-history-acset
Browser History ACSet
☆ 5View skill
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...
☆ 5View skill
GitHub
algebraic-rewriting
Category-theoretic graph rewriting with DPO, SPO, and SqPO pushouts for C-Sets. Declarative transformation of acset data structures.
☆ 5View skill
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
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.