GitHub
flox-mcp
MCP server wrapper for flox CLI operations - environment management via JSON-RPC
☆ 5View skill
Tools AI Skills
Discover Tools skills, compare source repositories and read the instructions for each workflow.
Categories: Tools
Tools Clear filters
Browse skills
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
GitHub
discohy-streams
DisCoPy categorical color streams via Hy with 3 parallel TAP streams
☆ 5View skill
GitHub
triadic-skill-loader
Triadic Skill Loader
☆ 5View skill
GitHub
epistemic-arbitrage
Propagator-based parallel structure for exploiting knowledge differentials across domains using local scoped propagators and SplitMixTernary RNG.
☆ 5View skill
GitHub
low-discrepancy-sequences
low-discrepancy-sequences skill
☆ 5View skill
GitHub
changelog-generator
Automatically creates user-facing changelogs from git commits by analyzing
☆ 5View skill
GitHub
cq-ai-deterministic-security-scanning-with-ternary-polarity
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
☆ 5View skill
GitHub
osm-topology
OSM Topology Skill
☆ 5View skill
GitHub
ies
ies
☆ 5View skill
GitHub
wev-tesseract
WEV Tesseract Skill
☆ 5View skill
GitHub
ask-questions-if-underspecified
Clarify requirements before implementing. Use when serious doubts araise.
☆ 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.