Clarinet
stx-labs
Write, test and deploy high-quality smart contracts to the Stacks blockchain and Bitcoin.
Web3 AnalyticsReview before use
353GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “xiaomi-smart”
17–32 / 33
More filters · 1
Results: 33
CertoraProver
Certora
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
Web3 AnalyticsReview before use
308GitHub
205GitHub
Steem
steemit
The blockchain for Smart Media Tokens (SMTs) and decentralized applications.
Web3 AnalyticsReview before use
2KGitHub
Aeternity
aeternity
æternity blockchain - scalable blockchain for the people - smart contracts, state channels, names, tokens
Web3 AnalyticsReview before use
1.1KGitHub
Starcoin
starcoinorg
Starcoin - A Move smart contract blockchain network that scales by layering
Web3 AnalyticsReview before use
1.2KGitHub
Solidity Cheatsheet
manojpramesh
Cheat sheet and best practices for solidity. Write smart contracts for Ethereum.
Web3 AnalyticsReview before use
1.5KGitHub
2KGitHub
Web3.Swift
argentlabs
Ethereum Swift API with support for smart contracts, ENS & ERC20
Web3 AnalyticsReview before use
718GitHub
Moonbeam
moonbeam-foundation
An Ethereum-compatible smart contract parachain on Polkadot
Web3 AnalyticsReview before use
937GitHub
Cadence
onflow
Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics
Web3 AnalyticsReview before use
548GitHub
507GitHub
Metaplex Program Library
metaplex-foundation
Smart contracts maintained by the Metaplex team
Web3 AnalyticsReview before use
647GitHub
Evm Monorepo
sablier-labs
Monorepo for Sablier's EVM smart contracts including Lockup, Flow, Airdrops, Bob and Utils protocols
Web3 AnalyticsReview before use
345GitHub
Juno
CosmosContracts
Open Source Platform for Interoperable Smart Contracts
Web3 AnalyticsReview before use
330GitHub
Hiero Sdk Js
hiero-ledger
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…
Web3 AnalyticsReview before use
323GitHub
External platform skills
Browse external directory →Owner-curated external sources. Not filtered by the scores or compatibility controls above; excluded from GitHub rankings and automatic installation.
No external entries match this query.