color-envelope-preserving
GF(3) color envelope preservation across navigator compositions
发现 工具与集成 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
GF(3) color envelope preservation across navigator compositions
Tailscale mesh VPN for secure peer-to-peer networking. WireGuard-based overlay network with MagicDNS and ACLs.
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical
Stigmergic agent coordination through environment modification, not messages. Vehicle semantics where carrier encodes meaning.
Resource Sharing Skill
UV/UVX zero-install Python with comma-syntax deps, justfile patterns, PEP 723 scripts
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
Guide you through Trail of Bits' 5-step secure development workflow. Runs Slither scans, checks special features (upgradeability/ERC conformance/token integration), generates visual security diagrams, helps doc...
Analyzes smart contract codebases to identify state-changing entry points for security auditing. Detects externally callable functions that modify state, categorizes them by access level (public, admin, role-re...
Skill Validation GF(3) - SLAVE (-1)
Run LLMs on Apple Silicon with MLX/mlx_lm - unified memory, 4-bit quantization, streaming generation, prompt caching. Optimal for M-series chips.
Google Tasks management via TasksACSet. Transforms task operations into GF(3)-typed Interactions, routes to triadic queues, detects saturation for task-zero-as-condensed-state.
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
Ruler Maximal Skill
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
Linear Logic Skill
Reject complacency. Demand excellence. Ship or die.
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
worldmat-tidar
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
Open Games Skill (ERGODIC 0)
Patterns for evolutionarily robust skills that adapt across agent generations. Darwin-Godel machine principles for self-improving skill ecosystems.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。