OPENAGENTSKILL / DIRECTORY

AI Agent Skills

为下一项任务找到合适的技能。探索适用于 Codex、Claude Code、Cursor 等 Agent 的工具。

搜索结果 · “program-synthesis”

45 Skills

搜索结果: 45

开发与测试

暂未收录效果图

查看技能说明

WALA

wala

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

价格未确认开发与测试使用前请审核
860GitHub
金融

暂未收录效果图

查看技能说明

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

指南与对比

开发者入口