Solidity
argotorg
Solidity, the Smart Contract Programming Language
Web3 AnalyticsSkill source unconfirmed
25.7KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “logic-programming”
1–7 / 7
More filters · 1
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 7
Plutus
IntersectMBO
The Plutus language implementation and tools
Web3 AnalyticsSkill source unconfirmed
1.6KGitHub
Cairo Vm
starkware-libs
cairo-vm is a Rust implementation of the Cairo VM. Cairo (CPU Algebraic Intermediate Representation) is a programming language for writing provable programs, where one p…
Web3 AnalyticsSkill source unconfirmed
585GitHub
Cadence
onflow
Cadence: the resource-oriented smart contract programming language of the Flow network. Capability-based security, type safety, and move semantics
Web3 AnalyticsSkill source unconfirmed
548GitHub
Bitcoinbook
bitcoinbook
Mastering Bitcoin 3rd Edition - Programming the Open Blockchain
Web3 AnalyticsSkill source unconfirmed
25.2KGitHub
Sui
MystenLabs
Sui, a next-generation smart contract platform with high throughput, low latency, and an asset-oriented programming model powered by the Move programming language
Web3 AnalyticsSkill source unconfirmed
7.7KGitHub
Iotex Core
iotexproject
Official implementation of IoTeX blockchain protocol in Go. An ultra-efficient EVM blockchain offering 1000 TPS with instant 1-block finality. Perfect for DeFi, DePIN to…
Web3 AnalyticsSkill source unconfirmed
1.6KGitHub