flox-mcp
MCP server wrapper for flox CLI operations - environment management via JSON-RPC
Découvrez les skills Outils, comparez leurs dépôts et consultez leurs instructions.
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.
DisCoPy categorical color streams via Hy with 3 parallel TAP streams
Triadic Skill Loader
Propagator-based parallel structure for exploiting knowledge differentials across domains using local scoped propagators and SplitMixTernary RNG.
low-discrepancy-sequences skill
Automatically creates user-facing changelogs from git commits by analyzing
Code Query with AI-enhanced deterministic analysis via SplitMix ternary classification
OSM Topology Skill
ies
WEV Tesseract Skill
Clarify requirements before implementing. Use when serious doubts araise.
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é.