GitHub
structural-rewilding
Homotopical approach to Artificial Life where 'life' is the topology of changes (diffs). Three orthogonal directions: Behavioral (→), Structural (↓), Bridge (↘) with Narya interaction-time verification.
Skills IA Vie quotidienne
Découvrez les skills Vie quotidienne, comparez leurs dépôts et consultez leurs instructions.
Catégories: Vie quotidienne
Vie quotidienne Effacer les filtres
Explorer
GitHub
codeql
Run CodeQL static analysis for security vulnerability detection, taint tracking, and data flow analysis. Use when asked to analyze code with CodeQL, create CodeQL databases, write custom QL queries, perform sec...
GitHub
manifest-privilege-validator
Validates tizen-manifest.xml privilege declarations. Checks privilege correctness, required privilege levels, and manifest conformance.
GitHub
levity-levin
Playful mutual ingression meets Leonid Levin's algorithmic bounds. Use for: playful exploration with theoretical guarantees, mutual ingression with convergence proofs, emergent solutions within complexity bound...
GitHub
ducklake-walk
Ergodic random walks over DuckLake lakehouses with GF(3) triadic concurrent walkers. Society-of-mind coordination for schema exploration.
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.
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é.