AI Agent Skills

API design conventions, namespace coordinate system, RBAC roles, ClawHub compatibility layer, OpenAPI contract sync rules, and CSRF/session handling.

Read the contract and checkpoint before reviewing. The deterministic verifier is authoritative; do not turn a checker approval into a test pass.

Polkadot's ink! to write smart contracts.

Open Source Platform for Interoperable Smart Contracts

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

⚡ Tact compiler for TON blockchain—build secure, efficient smart contracts with powerful tooling and seamless integration

Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.

The Certora Prover is the state-of-the-art security tool for automated formal verification of smart contracts running on EVM-based chains, Solana and Stellar

A SQL transformation engine that type-checks your whole pipeline and catches breaking changes before they run — branches, replay, column-level lineage, compile-time cont…

A comprehensive Web3 library for interacting with smart contracts on Ethereum using Elixir.

WasmEdge is a lightweight, high-performance, and extensible WebAssembly runtime for cloud native, edge, and decentralized applications. It powers serverless apps, embedd…

Python scripts for ETL (extract, transform and load) jobs for Ethereum blocks, transactions, ERC20 / ERC721 tokens, transfers, receipts, logs, contracts, internal transa…

æternity blockchain - scalable blockchain for the people - smart contracts, state channels, names, tokens

Cheat sheet and best practices for solidity. Write smart contracts for Ethereum.

Proposal-first scientific writing pipeline, installed under the compatibility trigger researchwrite and the repository package name nature-proposal-writer. Use for compo…

Design production-grade multi-agent workflows with clear pattern choice (sequential, parallel, hierarchical), handoff contracts, failure handling, and cost/context contr…