database-design
Database schema design, optimization, and migration patterns for PostgreSQL,
datalog-fixpoint
Datalog bottom-up fixpoint iteration for recursive queries
deep-analysis
Performs focused, depth-first investigation of specific reverse engineering questions through iterative analysis and database improvement. Answers questions like "What does this function do?", "Does this use crypto?", "What's the C2 address?", "Fix types in this function". Makes incremental improvements (renaming, retyping, commenting) to aid understanding. Returns evidence-based answers with new investigation threads. Use after binary-triage for investigating specific suspicious areas or when user asks focused questions about binary behavior.
defillama-api
DefiLlama API integration for DeFi analytics - TVL, prices, yields, volumes, fees, bridges, and DAT data. Use for blockchain/DeFi research, protocol analysis, and market data queries.
delta-derivation
Extract information delta between Claude.ai conversation exports using ACSets morphisms and bisimulation verification
deobfuscating-javascript-malware
>
deobfuscating-powershell-obfuscated-malware
Systematically deobfuscate multi-layer PowerShell malware using AST analysis, dynamic tracing, and tools like PSDecode and PowerDecode to reveal hidden payloads and C2 infrastructure.
deploying-active-directory-honeytokens
>
deploying-cloudflare-access-for-zero-trust
>
deploying-decoy-files-for-ransomware-detection
>
deploying-edr-agent-with-crowdstrike
>
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.
analyzing-linux-audit-logs-for-intrusion
>
boneh-roughgarden-wev
Boneh-Roughgarden WEV Skill
aptos-orderless-wev
Aptos Orderless WEV Skill
turing-chemputer
Cronin's Turing-complete chemputer for programmable chemical synthesis via XDL.
system2-attention
System 2 attention mechanisms for deliberate, slow reasoning in transformer architectures.
synthetic-adjunctions
Synthetic adjunctions in directed type theory for ∞-categorical universal constructions.
reafference-corollary-discharge
Skill: Reafference & Corollary Discharge (von Holst Neuroscience)
mcp-tripartite
SKILL: MCP Tripartite Integration
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical constructions and model-independence.
duckdb-temporal-versioning
Temporal versioning and interaction history with time-travel queries, causality tracking, and deterministic replay
crn-topology
Chemical Reaction Network topology for generating and analyzing reaction graph structures.
covariant-fibrations
Riehl-Shulman covariant fibrations for dependent types over directed intervals in synthetic ∞-categories.
compression-progress
Schmidhuber's compression progress as intrinsic curiosity reward for learning systems.
assembly-index
Lee Cronin's Assembly Theory for molecular complexity measurement and life detection via assembly index computation.
acsets-relational-thinking
ACSets (Attributed C-Sets) for categorical database design and DPO rewriting
tailscale-file-transfer
Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics
bdd-mathematical-verification
|
Skill Maker: AI Skill Factory for Tools
Meta-skill that generates domain-specific AI skills from tool documentation
CQ-AI: Deterministic Security Scanning with Ternary Polarity
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
yoneda-directed
Directed Yoneda lemma as directed path induction. Riehl-Shulman's key insight for synthetic ∞-categories.
topos-generate
Topos Generation Skill (PLUS +1)
temporal-coalgebra
Coalgebraic observation of derivation streams with final coalgebra bisimulation for infinite trace verification.
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.
sheaf-cohomology
Čech cohomology for local-to-global consistency verification in code structure and data schemas.
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.
segal-types
Segal types for synthetic ∞-categories. Binary composites exist uniquely up to homotopy. Foundation for topological chemputer.
rezk-types
Rezk types (complete Segal spaces). Local univalence: categorical isomorphisms ≃ type-theoretic identities.
ramanujan-expander
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth rules. Optimal expanders with λ₂ ≤ 2√(d-1) bound.
persistent-homology
Topological data analysis for stable feature verification across filtrations of code complexity.
parallel-fanout
Metaskill that fans out on every interaction, using interaction entropy as SplitMixTernary seed for maximum synergistic parallelism
operad-compose
Operad Composition Skill (PLUS +1)
open-games
Open Games Skill (ERGODIC 0)
moebius-inversion
Möbius inversion on posets and lattices: alternating sums, chromatic polynomials, incidence algebras, and centrality predicates.
localsend-mcp
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale discovery and throughput tuning.
kolmogorov-compression
Kolmogorov complexity as the ultimate intelligence measure. Shortest program that outputs data.
kan-extensions
Kan Extensions Skill (ERGODIC 0)
ihara-zeta
Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).
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.
Page 1031 of 1680 · 83978 results
