GitHub
ducklake-walk
Ergodic random walks over DuckLake lakehouses with GF(3) triadic concurrent walkers. Society-of-mind coordination for schema exploration.
Skills IA Tests et sécurité
Découvrez les skills Tests et sécurité, comparez leurs dépôts et consultez leurs instructions.
Catégories: Tests et sécurité
Tests et sécurité Effacer les filtres
Explorer
GitHub
mathpix-ocr
Mathpix OCR for LaTeX extraction with balanced ternary checkpoints
GitHub
reflow
Information Reflow Skill (ERGODIC 0)
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...
GitHub
reafference-corollary-discharge
Von Holst reafference and corollary discharge for behavioral verification and signal processing
GitHub
unwiring-arena
Play/Coplay arena theory for autopoietic closure with GF(3) conservation
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
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é.