Programs
metaDAOproject
metaDAOproject/programs is a high-star GitHub project relevant to AI agent workflows.
Web3 AnalyticsReview before use
115GitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “ebpf-programs”
1–5 / 5
More filters · 1
Results: 5
Sp1
succinctlabs
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Web3 AnalyticsReview before use
1.7KGitHub
943GitHub
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 AnalyticsReview before use
585GitHub
Safe Solana Builder
Frankcastleauditor
The first Claude skill for writing production-grade, security-first Solana programs. Anchor & Native Rust. Built by Frank Castle.
127GitHub
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.