AI Agent Skills

A private blockDAG with Homomorphic Encryption and Smart Contracts

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.

Blazing Fast Bytecode-Level Hybrid Fuzzer for Smart Contracts

SmartBugs: A Framework to Analyze Ethereum Smart Contracts

Monorepo for Sablier's EVM smart contracts including Lockup, Flow, Airdrops, Bob and Utils protocols

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

Open Source Platform for Interoperable Smart Contracts

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…

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

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