LogoClawIndex
CasesSkillsAbout
LogoClawIndex

ClawIndex

OpenClaw Skills & Use Case Index

ClawIndex is an ecosystem-driven index of OpenClaw skills and real-world use cases.

Index

Skills·
Cases

Meta

About·
Disclaimer·
Email·
GitHub
© 2026 ClawIndex All Rights Reserved.

Skills with capability: verify contracts

Browse skills that share this capability.

  • monad-development - Build dapps on Monad blockchain
    blockchainweb3smart contractsdeployment

    ★ 0 · Updated 2026-05-09

    Deploys smart contracts, sets up frontends, and verifies contracts on Monad testnet or mainnet using Foundry

    ⚙ deploy contracts⚙ create wallet⚙ verify contracts
  • monad-development - Build dapps on Monad blockchain
    blockchainsmart-contractsdeploymentdapp

    ★ 1 · Updated 2026-05-09

    Deploys contracts, sets up frontends, and verifies contracts on Monad blockchain

    ⚙ deploy contracts⚙ verify contracts⚙ generate wallet
  • monad-development - Build dapps on Monad blockchain
    blockchainsmart contractsweb3dapp development

    ★ 0 · Updated 2026-05-09

    Deploy contracts, set up frontends, and verify contracts on Monad blockchain

    ⚙ deploy contracts⚙ create wallet⚙ fund wallet
  • monad-development - Monad Blockchain DApp Development
    blockchainmonadsmart-contractsdeployment

    ★ 76 · Updated 2026-05-09

    Builds and deploys dapps on Monad blockchain with contract verification

    ⚙ deploy contracts⚙ verify contracts⚙ set up frontends
  • monad-development - Build dApps on Monad blockchain
    blockchainsmart contractsweb3dapp

    ★ 1 · Updated 2026-03-22

    Deploy smart contracts and build dApps on Monad blockchain using Foundry framework

    ⚙ deploy contracts⚙ verify contracts⚙ create wallet
  • Contract Testing Pact - Validate API Contracts with Pact
    apibackendtestingcontract

    ★ 57 · Updated 2026-03-21

    Validates service consumer and provider agreements on request/response expectations

    ⚙ create consumer tests⚙ apply flexible matchers⚙ implement state handlers
  • kani-verifier - Rust Formal Verification with Kani
    rustformal verificationmodel checkingsymbolic execution

    ★ 18 · Updated 2026-03-20

    Model checker proving Rust code properties for all possible inputs using symbolic execution.

    ⚙ verify Rust code⚙ check memory safety⚙ detect undefined behavior