constraint-generalization
Generalization and composition of constraints across navigators
condensed-analytic-stacks
Scholze-Clausen condensed mathematics bridge to sheaf neural networks via 6-functor formalism
analyzing-ios-app-security-with-objection
>
analyzing-indicators-of-compromise
>
analyzing-heap-spray-exploitation
Detect and analyze heap spray attacks in memory dumps using Volatility3 plugins to identify NOP sled patterns, shellcode landing zones, and suspicious large allocations in process virtual address space.
analyzing-golang-malware-with-ghidra
Reverse engineer Go-compiled malware using Ghidra with specialized scripts for function recovery, string extraction, and type reconstruction in stripped Go binaries.
analyzing-ethereum-smart-contract-vulnerabilities
Perform static and symbolic analysis of Solidity smart contracts using Slither and Mythril to detect reentrancy, integer overflow, access control, and other vulnerability classes before deployment to Ethereum mainnet.
analyzing-email-headers-for-phishing-investigation
Parse and analyze email headers to trace the origin of phishing emails, verify sender authenticity, and identify spoofing through SPF, DKIM, and DMARC validation.
analyzing-docker-container-forensics
Investigate compromised Docker containers by analyzing images, layers, volumes, logs, and runtime artifacts to identify malicious activity and evidence.
analyzing-dns-logs-for-exfiltration
>
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.
cognitive-superposition
Cognitive superposition synthesizing Riehl (∞-categories), Sutskever (compression), Schmidhuber (curiosity-driven), and Bengio (GFlowNets) into unified ASI framework with quantum-inspired measurement collapse.
curiosity-driven
Schmidhuber's curiosity-driven learning: Intrinsic motivation via compression progress. Seek states that improve world model.
deepwiki-mcp
DeepWiki MCP server for AI-powered GitHub repository documentation and Q&A
dialectica
Dialectica Skill (ERGODIC 0)
directed-interval
Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy for reactions.
forward-forward-learning
Hinton's Forward-Forward algorithm for local learning without backpropagation. Use for biologically plausible learning, on-chip training, memory-efficient networks, or parallel layer-wise training.
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.
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
Page 1033 of 1681 · 84030 results
