merkle-proof-validation
Merkle Proof Validation Skill
发现 工具与集成 相关 Skills,比较来源仓库和用途,查看适合你工作流的技能说明。
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.
Ramanujan graphs and Alon-Boppana spectral optimality for edge growth
Comprehensive Artificial Life skill combining ALIFE2025 proceedings,
Triangle Metrics Skill
Toolkit for styling artifacts with a theme. These artifacts can be slides,
Invariant set attracting nearby trajectories
Synthetic adjunctions in directed type theory for ∞-categorical universal
NERV - Rapid LocalSend Test with Voice
Predicate-level semantic diff for MCP protocol specs. Compares 0618 vs 1125 specs via Narya types, GF(3) evaluators, and Unison-style effects. Use for protocol verification, spec migration, or detecting breakin...
Deterministic color generation with SplitMix64, GF(3) trits, and MCP. Colors are the perceptual rendering of solved constraint systems.
默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。