labels
Auto-generate PR labels based on content analysis
发现 生活与效率 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
Auto-generate PR labels based on content analysis
GreyCat C API and GCL Standard Library reference. Use for: (1) Native C development with gc_machine_t context, tensors, objects, memory management, HTTP, crypto, I/O; (2) GCL Standard Library modules - std::cor...
Complete llama.cpp C/C++ API reference covering model loading, inference, text generation, embeddings, chat, tokenization, sampling, batching, KV cache, LoRA adapters, and state management. Triggers on: llama.c...
Use when working with .gcl files or GreyCat projects - efficient language with unified temporal/graph/vector database, built-in web server, native MCP for billion-scale digital twins
Rubato Composer integration for Mazzola's mathematical music theory
PLR (Parallel/Leading-tone/Relative) transitions for thread coloring. One-hot keyspace reduction to GF(3) trits for behavior indexing. Grows perception/action information field capacity through efficient user i...
Code refactoring patterns and techniques for improving code quality without
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style deriving
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX,
HyThermal Skill
Reparameterization of time in flows
Hesse-inspired interdisciplinary synthesis game with Badiou triangle
Comprehensive smart contract development advisor based on Trail of Bits' best practices. Analyzes codebase to generate documentation/specifications, review architecture, check upgradeability patterns, assess im...
MCP server wrapper for flox CLI operations - environment management via JSON-RPC
Cross-Language Strong Parallelism Invariance Verification
Backend API design, database architecture, microservices patterns, and
UV/UVX/Ruff toolchain for DiscoHy Thread Operad with Python packaging and linting
Guidance for selecting the right ClojureScript runtime across scripting, browser, Node, and embedded use.
Verify multiple effect interpretations through propagator networks with temporal coalgebra bisimulation and common fixpoint solutions.
Existence and uniqueness of solutions to ODEs with initial conditions
Bisimulation game for resilient skill dispersal across AI agents with
Enzyme.jl Automatic Differentiation Skill
Agreement protocol in multi-agent systems
## Overview
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。