GitHub
kuramoto-model
Coupled oscillators with sinusoidal coupling
Explorer
Explorez des skills pour le développement, le contenu, les données et la productivité. Comparez les descriptions et dépôts.
Catégories
Explorer
GitHub
unified-reafference
Cross-agent session database with B3 Poset and Bumpus sheaves
GitHub
criticality-detector
Criticality Detector Skill
GitHub
jacobian
Matrix of partial derivatives for linearization
GitHub
olmoearth-mlx
OlmoEarth MLX: Spatio-Temporal Earth Intelligence
GitHub
eigenvalue-stability
Stability classification via Jacobian eigenvalues
GitHub
localsend-mcp
LocalSend-based P2P transfer with MCP server design for NATS/Tailscale
GitHub
hyjax-relational
HyJAX Relational Thinking Skill
GitHub
abductive-repl
Hypothesis-Test Loops via REPL for Exploratory Abductive Inference with Gay.jl colors
GitHub
gay-integration
Gay.jl integration for bisimulation games with proper hue-based trit derivation and GF(3) conservation
GitHub
ihara-zeta
Ihara zeta function for graphs: non-backtracking walks, prime cycles, and spectral analysis via det(I - uB).
GitHub
audit-prep-assistant
Prepare your codebase for security review using Trail of Bits' checklist. Helps set review goals, runs static analysis tools, increases test coverage, removes dead code, ensures accessibility, and generates com...
GitHub
interaction-nets
Lafont's interaction nets for optimal parallel λ-reduction. Graph rewriting
GitHub
unworld
Replace time with color chain derivations via seed chaining
GitHub
audit-context-building
Enables ultra-granular, line-by-line code analysis to build deep architectural context before vulnerability or bug finding.
GitHub
tmp-filesystem-watcher
Real-time filesystem watcher for /tmp using Babashka fs.
GitHub
cider-embedding
Semantic embeddings for Clojure code navigation via CIDER
GitHub
competitive-ads-extractor
Extracts and analyzes competitors' ads from ad libraries (Facebook, LinkedIn,
GitHub
clj-kondo-3color
clj-kondo linter with Gay.jl 3-color integration for GF(3) conservation
GitHub
mitm
Track and summarize man-in-the-middle mentions across local corpora and history; use for MITM audits, searches, and reporting.
GitHub
entropy-sequencer
Layer 5 Interaction Interleaving for Maximum Information Gain with DuckDB
GitHub
guile-goblins-hoot
Spritely Goblins distributed actor system with Hoot WebAssembly compiler. Secure capability-based programming in Guile Scheme.
GitHub
pijul
Pijul patch-based VCS with categorical patch theory for skill versioning
GitHub
discopy
DisCoPy: Python library for computing with string diagrams - monoidal
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é.