labels
Auto-generate PR labels based on content analysis
Découvrez les skills Vie quotidienne, comparez leurs dépôts et consultez leurs instructions.
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
Le classement utilise les étoiles du dépôt GitHub indexé. Plusieurs skills peuvent partager ce nombre : ce n’est ni un nombre d’installations ni une note de qualité.