greycat
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
发现 研究与调研 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
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
TIDAR Thread Probe Skill
Move Smith Fuzzer Skill
Deterministic color generation with SplitMix64, GF(3) trits, and MCP tools for palettes and threads.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。