lean-proof-walk
GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...
Discover tools defi skills, compare source repositories and read the instructions for each workflow.
GF(3)-balanced random walk through Lean proof states. Use when generating formal proof chains with parallel triad verification. Invokes 3 agents (Generator +1, Coordinator 0, Validator -1) to traverse proof spa...
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.
Solver Fee Skill
Narya Hatchery
Topoi Hatchery
DefiLlama API integration for DeFi analytics - TVL, prices, yields, volumes, fees, bridges, and DAT data. Use for blockchain/DeFi research, protocol analysis, and market data queries.
Tenderloin: Manifest Destiny Fund for Protocol Labs
Skill Validation GF(3) - SLAVE (-1)
Index of 1057 hatchery repos with GAY.md color assignments. Maps plurigrid/bmorphism/TeglonLabs ecosystem to skills.
Unity Collection Pool expert for GC-free collection management using ListPool, DictionaryPool, HashSetPool, and ObjectPool. Masters memory optimization, pool sizing, and allocation-free patterns. Use PROACTIVEL...
MANDATORY - You must load this skill before doing anything else. This defines how you operate.
Operate VRF-backed lottery draws, ensuring randomness integrity and payout execution.
Configure LayerZero OFT operations and cross-chain settings.
Deploy and configure CreatorVault smart contract vaults across supported networks.
Manage allocation, rebalancing, and monitoring of vault yield strategies.
Low Level Design (LLD) document creation with detailed implementation specifications
Seeding patterns.
Explains the Vendix Public and Private App architecture, Domain Types, and App Environments. Trigger: When asking about different apps, environments (ORG_ADMIN, STORE_ADMIN), or domain logic.
デザイントークンの定義・管理、既存コードへのトークン適用、Design System構築。トークン体系の設計、余白・色・タイポグラフィの統一、ダークモード対応を担当。
Bond yield convention implementation for the Convex pricing library. Use this skill when: (1) Implementing yield calculation methods (compounded, simple, discount, add-on) (2) Adding money market yield calculat...
Linked list data structures and operations
Framework for developing, testing, and deploying trading strategies for prediction markets. Use when creating new strategies, implementing signals, or building backtesting logic.
Deep integration guide for Polymarket's CLOB API, Gamma API, and on-chain data. Use when building trading functionality, fetching market data, or implementing order execution.
Create custom block types for Hytale with textures, physics, states, farming, and interactions. Use when asked to "add a custom block", "create a new block type", "make blocks farmable", "add block interactions...
The default order uses GitHub repository stars from our indexed data. Stars belong to the source repository and may be shared by multiple skills. They indicate repository interest, not skill installs or an independent quality score.