self-validation-loop
Run self-validation loops for triadic color systems using prediction vs observation and error minimization.
发现 测试与安全 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
Run self-validation loops for triadic color systems using prediction vs observation and error minimization.
Layer 3: Temporal Versioning and ACSet Schema Generation for DuckDB
Riehl-Shulman covariant fibrations for dependent types over directed
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...
Surjective map intertwining two dynamical systems
Topos Generation Skill (PLUS +1)
Skill Connectivity Hub
Tailscale mesh VPN file transfer with open games semantics (play/coplay) and bidirectional lens optics
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...
Merkle Proof Validation Skill
PayPal MCP server integration for invoices, payments, subscriptions, disputes, and transaction reporting via @paypal/mcp.
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.
Map Projection Skill
3-MATCH colored subgraph isomorphism gadget for 3-SAT reduction
Derangement-CRDT Skill
Chaotic interleaving across local DuckDB databases modeled as coupled quadruple pendula. Random walks both BETWEEN databases and WITHIN tables for context injection.
Generate bifurcation diagrams for dynamical systems. Use when visualizing parameter-dependent behavior transitions.
Geiser REPL integration for Chicken Scheme with SplitMixTernary 3-coloring and crdt.el sexp patterns.
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.
Scalar function decreasing along trajectories
Bifurcation creating limit cycle from equilibrium
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...
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...
Political Repetition as Hyperrealpolitik - deterministic opinion formation via SplitMixTernary across all encountered languages. The eternal return of the trit.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。