Ikos
NASA-SW-VnV
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
OPENAGENTSKILL / DIRECTORY
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
1–6 / 6
Results: 6
NASA-SW-VnV
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
bentoml
The easiest way to serve AI apps and models - Build Model Inference APIs, Job queues, LLM apps, Multi-model pipelines, and more!
Orchestra-Research
Comprehensive open-source library of AI research and engineering skills for any AI model. Package the skills and your claude code/codex/gemini agent will be an AI resear…
romgX
几百个免费 AI 模型配额,一键接入本地项目。| Hundreds of free AI model quotas, one-click access to local projects.
Doorman11991
AI coding agent optimized for small LLMs. 87% benchmark with 4B-active model.
getkimchi
Terminal coding agent powered by Kimchi's multi-model orchestration
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.