AI Agent Skills

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

Query TradingView market data through the bundled tradingview MCP server without a desktop app or login. Use whenever the user wants a technical analysis readout (RSI, M…

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

An Ethereum-compatible smart contract parachain on Polkadot

Rust library for writing NEAR smart contracts

Smart contracts maintained by the Metaplex team

A private blockDAG with Homomorphic Encryption and Smart Contracts

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

Open Source Platform for Interoperable Smart Contracts

A JavaScript/TypeScript SDK for Hiero: A Javascript toolkit for creating, updating, and interacting with on-ledger assets and smart contracts on Hedera and other Hiero n…

Minimal library for Ethereum transactions, addresses and smart contracts.