GitHub
acsets-algebraic-databases
ACSets (Attributed C-Sets): Algebraic databases with Specter-style bidirectional
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
linear-logic
Linear Logic Skill
GitHub
refuse-mediocrity
Reject complacency. Demand excellence. Ship or die.
GitHub
nickel
Nickel configuration language with gradual typing, contracts, and dynamic sufficiency verification. Use for type-safe configs, transformation contracts, and validation pipelines.
GitHub
worldmat-tidar
worldmat-tidar
GitHub
unworlding-involution
Self-inverse derivation patterns where ι∘ι = id for frame-invariant self
GitHub
langevin-dynamics
Layer 5: SDE-Based Learning Analysis via Langevin Dynamics
GitHub
open-games
Open Games Skill (ERGODIC 0)
GitHub
skill-evolution
Patterns for evolutionarily robust skills that adapt across agent generations. Darwin-Godel machine principles for self-improving skill ecosystems.
GitHub
scheme
GNU Scheme ecosystem = guile + goblins + hoot + fibers.
GitHub
algorand-vulnerability-scanner
Scans Algorand smart contracts for 11 common vulnerabilities including rekeying attacks, unchecked transaction fees, missing field validations, and access control issues. Use when auditing Algorand projects (TE...
GitHub
kuramoto-model
Coupled oscillators with sinusoidal coupling
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
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é.