GitHub
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
☆ 5View skill
Research AI Skills
Discover Research skills, compare source repositories and read the instructions for each workflow.
Categories: Research
Research Clear filters
Browse skills
GitHub
rubato-composer
Rubato Composer integration for Mazzola's mathematical music theory
☆ 5View skill
GitHub
plr-thread-coloring
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...
☆ 5View skill
GitHub
code-refactoring
Code refactoring patterns and techniques for improving code quality without
☆ 5View skill
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style deriving
☆ 5View skill
GitHub
hatchery-papers
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX,
☆ 5View skill
GitHub
hythermal
HyThermal Skill
☆ 5View skill
GitHub
time-parameterization
Reparameterization of time in flows
☆ 5View skill
GitHub
glass-bead-game
Hesse-inspired interdisciplinary synthesis game with Badiou triangle
☆ 5View skill
GitHub
guidelines-advisor
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...
☆ 5View skill
GitHub
flox-mcp
MCP server wrapper for flox CLI operations - environment management via JSON-RPC
☆ 5View skill
GitHub
polyglot-spi
Cross-Language Strong Parallelism Invariance Verification
☆ 5View skill
GitHub
backend-development
Backend API design, database architecture, microservices patterns, and
☆ 5View skill
GitHub
uv-discohy
UV/UVX/Ruff toolchain for DiscoHy Thread Operad with Python packaging and linting
☆ 5View skill
GitHub
borkdude
Guidance for selecting the right ClojureScript runtime across scripting, browser, Node, and embedded use.
☆ 5View skill
GitHub
polysimy-effect-chains
Verify multiple effect interpretations through propagator networks with temporal coalgebra bisimulation and common fixpoint solutions.
☆ 5View skill
GitHub
initial-value-problem
Existence and uniqueness of solutions to ODEs with initial conditions
☆ 5View skill
GitHub
bisimulation-game
Bisimulation game for resilient skill dispersal across AI agents with
☆ 5View skill
GitHub
enzyme-autodiff
Enzyme.jl Automatic Differentiation Skill
☆ 5View skill
GitHub
consensus
Agreement protocol in multi-agent systems
☆ 5View skill
GitHub
og
## Overview
☆ 5View skill
GitHub
tidar-thread-probe
TIDAR Thread Probe Skill
☆ 5View skill
GitHub
move-smith-fuzzer
Move Smith Fuzzer Skill
☆ 5View skill
GitHub
gay-mcp
Deterministic color generation with SplitMix64, GF(3) trits, and MCP tools for palettes and threads.
☆ 5View skill
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.