GitHub
rubato-composer
Rubato Composer integration for Mazzola's mathematical music theory
Skills IA Tests et sécurité
Découvrez les skills Tests et sécurité, comparez leurs dépôts et consultez leurs instructions.
Catégories: Tests et sécurité
Tests et sécurité Effacer les filtres
Explorer
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...
GitHub
code-refactoring
Code refactoring patterns and techniques for improving code quality without
GitHub
lispsyntax-acset
LispSyntax.jl ↔ ACSets.jl bidirectional bridge with OCaml ppx_sexp_conv-style deriving
GitHub
hatchery-papers
Chicken Scheme Hatchery eggs and academic papers for color logic, 2TDX,
GitHub
hythermal
HyThermal Skill
GitHub
time-parameterization
Reparameterization of time in flows
GitHub
glass-bead-game
Hesse-inspired interdisciplinary synthesis game with Badiou triangle
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...
GitHub
flox-mcp
MCP server wrapper for flox CLI operations - environment management via JSON-RPC
GitHub
polyglot-spi
Cross-Language Strong Parallelism Invariance Verification
GitHub
backend-development
Backend API design, database architecture, microservices patterns, and
GitHub
uv-discohy
UV/UVX/Ruff toolchain for DiscoHy Thread Operad with Python packaging and linting
GitHub
borkdude
Guidance for selecting the right ClojureScript runtime across scripting, browser, Node, and embedded use.
GitHub
polysimy-effect-chains
Verify multiple effect interpretations through propagator networks with temporal coalgebra bisimulation and common fixpoint solutions.
GitHub
initial-value-problem
Existence and uniqueness of solutions to ODEs with initial conditions
GitHub
bisimulation-game
Bisimulation game for resilient skill dispersal across AI agents with
GitHub
enzyme-autodiff
Enzyme.jl Automatic Differentiation Skill
GitHub
consensus
Agreement protocol in multi-agent systems
GitHub
og
## Overview
GitHub
tidar-thread-probe
TIDAR Thread Probe Skill
GitHub
move-smith-fuzzer
Move Smith Fuzzer Skill
GitHub
gay-mcp
Deterministic color generation with SplitMix64, GF(3) trits, and MCP tools for palettes and threads.
GitHub
discohy-streams
DisCoPy categorical color streams via Hy with 3 parallel TAP streams
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é.