GitHub
self-validation-loop
Run self-validation loops for triadic color systems using prediction vs observation and error minimization.
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
duckdb-timetravel
Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB
GitHub
covariant-fibrations
Riehl-Shulman covariant fibrations for dependent types over directed
GitHub
variant-analysis
Find similar vulnerabilities and bugs across codebases using pattern-based analysis. Use when hunting bug variants, building CodeQL/Semgrep queries, analyzing security vulnerabilities, or performing systematic...
GitHub
semi-conjugacy
Surjective map intertwining two dynamical systems
GitHub
topos-generate
Topos Generation Skill (PLUS +1)
GitHub
skill-connectivity-hub
Skill Connectivity Hub
GitHub
tailscale-file-transfer
Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics
GitHub
accept-no-substitutes
This skill should be used when agents generate placeholder tokens like "pseudo-", "mock-", "temporary", "TODO", "demo-", or similar incompleteness markers. Detects substitution patterns in agent OUTPUT and trig...
GitHub
merkle-proof-validation
Merkle Proof Validation Skill
GitHub
paypal-mcp
PayPal MCP server integration for invoices, payments, subscriptions, disputes, and transaction reporting via @paypal/mcp.
GitHub
dune-analytics
Query Dune Analytics API for blockchain data, pyUSD flows, stablecoin metrics, and on-chain analytics. Use when analyzing DeFi protocols, token flows, or building dashboards.
GitHub
map-projection
Map Projection Skill
GitHub
three-match
3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction
GitHub
derangement-crdt
Derangement-CRDT Skill
GitHub
duckdb-quadruple-interleave
Chaotic interleaving across local DuckDB databases modeled as coupled quadruple pendula. Random walks both BETWEEN databases and WITHIN tables for context injection.
GitHub
bifurcation-generator
Generate bifurcation diagrams for dynamical systems. Use when visualizing parameter-dependent behavior transitions.
GitHub
geiser-chicken
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
GitHub
playwright
Browser automation via Playwright MCP. Use for web scraping, taking screenshots, interacting with web pages, testing web UIs, and automating browser tasks. Headless browser support.
GitHub
lyapunov-function
Scalar function decreasing along trajectories
GitHub
hopf
Bifurcation creating limit cycle from equilibrium
GitHub
sarif-parsing
Parse, analyze, and process SARIF (Static Analysis Results Interchange Format) files. Use when reading security scan results, aggregating findings from multiple tools, deduplicating alerts, extracting specific...
GitHub
tripartite-decompositions
GF(3)-balanced structured decompositions for parallel computation. Decomposes problems into MINUS/ERGODIC/PLUS components with sheaf-theoretic gluing. Use for FPT algorithms, skill allocation, or any 3-way para...
GitHub
splitmixternary-opine
Political Repetition as Hyperrealpolitik - deterministic opinion formation via SplitMixTernary across all encountered languages. The eternal return of the trit.
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é.