GitHub
elements-infinity-cats
Elements of ∞-Category Theory (Riehl-Verity) for foundational ∞-categorical
☆ 5查看技能
全部技能
探索开发、内容、数据与办公效率等 AI 技能。先比较用途和仓库热度，再查看技能说明与来源。
分类目录
全部技能
GitHub
implicit-coordination
Stigmergic agent coordination through environment modification, not messages. Vehicle semantics where carrier encodes meaning.
☆ 5查看技能
GitHub
resource-sharing
Resource Sharing Skill
☆ 5查看技能
GitHub
uv-oneliners
UV/UVX zero-install Python with comma-syntax deps, justfile patterns, PEP 723 scripts
☆ 5查看技能
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
☆ 5查看技能
GitHub
secure-workflow-guide
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...
☆ 5查看技能
GitHub
entry-point-analyzer
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...
☆ 5查看技能
GitHub
skill-validation-gf3
Skill Validation GF(3) - SLAVE (-1)
☆ 5查看技能
GitHub
mlx-apple-silicon
Run LLMs on Apple Silicon with MLX/mlx_lm - unified memory, 4-bit quantization, streaming generation, prompt caching. Optimal for M-series chips.
☆ 5查看技能
GitHub
tasks-acset
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.
☆ 5查看技能
GitHub
pulse-mcp-stream
Layer 1 Real-Time Social Stream Monitoring via MCP with DuckDB persistence
☆ 5查看技能
GitHub
gflownet
Bengio's GFlowNets: Generative Flow Networks that sample proportionally to reward. Diversity over maximization for causal discovery and molecule design.
☆ 5查看技能
GitHub
ruler-maximal
Ruler Maximal Skill
☆ 5查看技能
GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
☆ 5查看技能
GitHub
linear-logic
Linear Logic Skill
☆ 5查看技能
GitHub
refuse-mediocrity
Reject complacency. Demand excellence. Ship or die.
☆ 5查看技能
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
☆ 5查看技能
GitHub
worldmat-tidar
worldmat-tidar
☆ 5查看技能
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
☆ 5查看技能
GitHub
langevin-dynamics
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
☆ 5查看技能
GitHub
open-games
Open Games Skill (ERGODIC 0)
☆ 5查看技能
GitHub
skill-evolution
Patterns for evolutionarily robust skills that adapt across agent generations. Darwin-Godel machine principles for self-improving skill ecosystems.
☆ 5查看技能
GitHub
scheme
GNU Scheme ecosystem = guile + goblins + hoot + fibers.
☆ 5查看技能
GitHub
algorand-vulnerability-scanner
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TE...
☆ 5查看技能
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库，同一仓库的多个技能可能共享相同数值；它反映仓库关注度，不代表单个技能的安装量或质量评分。