GitHub
paperproof-validator
Formal Proof Visualization and Verification for Lean 4
Skills IA Recherche
Découvrez les skills Recherche, comparez leurs dépôts et consultez leurs instructions.
Catégories: Recherche
Recherche Effacer les filtres
Explorer
GitHub
docs-acset
Google Docs/Sheets management via ACSet condensation. Transforms documents into GF(3)-typed Interactions, tracks comments/cells, detects saturation when all comments resolved. Use for document workflows, spread...
GitHub
tailscale-file-transfer
Tailscale mesh VPN file transfer with open games semantics (play/coplay)
GitHub
duck-time-travel
DuckDB time-travel queries for temporal versioning and causality tracking
GitHub
sheaf-laplacian-coordination
Sheaf neural network coordination via graph Laplacians for distributed
GitHub
hyperbolic-bulk
On-chain GF(3) entropy storage via Aptos Move - bulk-boundary correspondence where entropy lives in the interior and observables project to agents
GitHub
duck-agent
DuckDB file discovery agent with verified absolute paths
GitHub
crdt
crdt skill
GitHub
frontend-design
AI-guided UI/UX design patterns with Gay.jl deterministic colors
GitHub
hvm-runtime
HVM Runtime Skill
GitHub
dynamic-sufficiency
Causal state gating via ε-machine. Coworld observer that prevents action
GitHub
brand-guidelines
Apply brand colors and typography to artifacts. Use when brand colors,
GitHub
spotify
Control Spotify playback and manage playlists. Play music, pause, skip tracks, search for songs/albums/artists, create playlists, add tracks, check what's playing, and manage your library. Requires Spotify Prem...
GitHub
video-downloader
Downloads videos from YouTube and other platforms for offline viewing,
GitHub
derangement-reflow
derangement-reflow skill
GitHub
constant-time-analysis
Detects timing side-channel vulnerabilities in cryptographic code. Use when implementing or reviewing crypto code, encountering division on secrets, secret-dependent branches, or constant-time programming quest...
GitHub
universal-captp-derivation
Universal CapTP Derivation Skill
GitHub
ordered-locale
Ordered Locale Skill
GitHub
algorithmic-art
Creating algorithmic art using p5.js with seeded randomness and interactive
GitHub
mermaid-reverse-attempt
Mermaid URL codec - encodes/decodes #base64: (amp CLI) and #pako: (mermaid.live) formats
GitHub
koopman-generator
Koopman operator theory for infinite-dimensional linear lifting of nonlinear dynamics. Generates dynamics from observables.
GitHub
structural-stability
Robustness of qualitative dynamics under perturbation
GitHub
lasalle-invariance
Invariance principle for asymptotic stability
GitHub
triadic-skill-orchestrator
Orchestrates multiple skills in GF(3)-balanced triplets. Assigns MINUS/ERGODIC/PLUS trits to skills ensuring conservation. Use for multi-skill workflows, parallel skill dispatch, or maintaining GF(3) invariants...
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é.