AI Agent Skills

Performant and Confidentiality-Preserving Smart Contracts + Blockchains

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

LI.FI Smart Contracts

A framework for smart contract verification in Coq

The blockchain for Smart Media Tokens (SMTs) and decentralized applications.

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

Starcoin - A Move smart contract blockchain network that scales by layering

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

BNB Smart Chain

Ethereum Swift API with support for smart contracts, ENS & ERC20

An Ethereum-compatible smart contract parachain on Polkadot

Track your Data Science. Skore's open-source Python library accelerates ML model development with automated evaluation reports, smart methodological guidance, and compre…

Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics

Rust library for writing NEAR smart contracts

Smart contracts maintained by the Metaplex team