free-monad-gen
Free Monad Generation Skill (PLUS +1)
gflownet
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
godel-machine
Schmidhuber's Gödel Machine: Self-improving systems that prove their own improvements. Darwin Gödel Machine (DGM) combines evolution with formal verification.
ihara-zeta
Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).
jaxlife-open-ended
JaxLife open-ended agentic simulator for emergent behavior, tool use, and cultural accumulation. Use for artificial life simulations, emergent agent behavior, and open-ended evolution research.
kan-extensions
Kan Extensions Skill (ERGODIC 0)
kolmogorov-compression
Kolmogorov complexity as the ultimate intelligence measure. Shortest program that outputs data.
localsend-mcp
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.
moebius-inversion
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
open-games
Open Games Skill (ERGODIC 0)
operad-compose
Operad Composition Skill (PLUS +1)
parallel-fanout
Metaskill that fans out on every interaction, using interaction entropy as SplitMixTernary seed for maximum synergistic parallelism
persistent-homology
Topological data analysis for stable feature verification across filtrations of code complexity.
ramanujan-expander
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth rules. Optimal expanders with λ₂ ≤ 2√(d-1) bound.
rezk-types
Rezk types (complete Segal spaces). Local univalence: categorical isomorphisms ≃ type-theoretic identities.
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely up to homotopy. Foundation for topological chemputer.
self-evolving-agent
Darwin Gödel Machine patterns for self-improving AI agents with open-ended code evolution. Use for building agents that autonomously improve their own capabilities, modify their codebases, and evolve through interaction.
sheaf-cohomology
Čech cohomology for local-to-global consistency verification in code structure and data schemas.
sheaf-laplacian-coordination
Sheaf neural network coordination via graph Laplacians for distributed consensus and harmonic inference. Use when coordinating multi-agent systems, building sheaf-aware GNNs, or implementing distributed consensus protocols.
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation for infinite trace verification.
topos-generate
Topos Generation Skill (PLUS +1)
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.
CQ-AI: Deterministic Security Scanning with Ternary Polarity
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
Skill Maker: AI Skill Factory for Tools
Meta-skill that generates domain-specific AI skills from tool documentation
bdd-mathematical-verification
|
tailscale-file-transfer
Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics
acsets-relational-thinking
ACSets (Attributed C-Sets) for categorical database design and DPO rewriting
assembly-index
Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.
compression-progress
Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.
covariant-fibrations
Riehl-Shulman covariant fibrations for dependent types over directed intervals in synthetic ∞-categories.
crn-topology
Chemical Reaction Network topology for generating and analyzing reaction graph structures.
duckdb-temporal-versioning
Temporal versioning and interaction history with time-travel queries, causality tracking, and deterministic replay
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical constructions and model-independence.
mcp-tripartite
SKILL: MCP Tripartite Integration
reafference-corollary-discharge
Skill: Reafference & Corollary Discharge (von Holst Neuroscience)
synthetic-adjunctions
Synthetic adjunctions in directed type theory for ∞-categorical universal constructions.
system2-attention
System 2 attention mechanisms for deliberate, slow reasoning in transformer architectures.
turing-chemputer
Cronin's Turing-complete chemputer for programmable chemical synthesis via XDL.
aptos-orderless-wev
Aptos Orderless WEV Skill
boneh-roughgarden-wev
Boneh-Roughgarden WEV Skill
analyzing-linux-audit-logs-for-intrusion
>
asi-integrated
Unified ASI skill combining ACSets, Gay-MCP colors, bisimulation games, world-hopping, glass-bead synthesis, and triad interleaving for autonomous skill dispersal.
academic-research
Search academic papers across arXiv, PubMed, Semantic Scholar, bioRxiv, medRxiv, Google Scholar, and more. Get BibTeX citations, download PDFs, analyze citation networks. Use for literature reviews, finding papers, and academic research.
accept-no-substitutes
This skill should be used when agents generate placeholder tokens like "pseudo-", "mock-", "temporary", "TODO", "demo-", or similar incompleteness markers. Detects substitution patterns in agent OUTPUT and triggers mandatory user interview instead of accepting incomplete work. Activates automatically on any output containing forbidden tokens.
acquiring-disk-image-with-dd-and-dcfldd
Create forensically sound bit-for-bit disk images using dd and dcfldd while preserving evidence integrity through hash verification.
acsets-hatchery
Attributed C-Sets as algebraic databases. Category-theoretic data structures generalizing graphs and dataframes with Gay.jl color integration.
active-inference-robotics
Second-order skill synthesizing Patrick Kenny's discrete active inference framework with K-Scale's JAX/MuJoCo robotics stack for predictive coding in robot locomotion
active-interleave
Active Interleave Skill
address-sanitizer
Use AddressSanitizer to detect memory safety bugs in C/C++ programs. Identifies use-after-free, buffer overflow, memory leaks, and other memory errors.
aflpp
Fuzzing with AFL++ for comprehensive binary and source code fuzzing.
Page 3 of 41 · 2048 results