OPENAGENTSKILL / DIRECTORY

AI Agent Skills

다음 작업에 맞는 스킬을 찾아보세요. Codex, Claude Code, Cursor 등을 지원합니다.

검색 결과 · “program-synthesis”

45 Skills

검색 결과: 45

개발 및 테스트

No visual example yet

Explore the skill

WALA

wala

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

가격 미확인개발 및 테스트사용 전 검토
860GitHub
금융

No visual example yet

Explore the skill

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…

가격 미확인금융사용 전 검토
585GitHub

가이드 및 비교

개발자용