Daytona
daytonaio
Daytona is a Secure and Elastic Infrastructure for Running AI-Generated Code
Agent FrameworksSkill source unconfirmed
72.3KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “symbolic-execution”
1–16 / 33
More filters
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 33
37KGitHub
Conductor
conductor-oss
Conductor is an event driven agentic workflow engine providing durable and highly resilient execution engine for applications and AI Agents
AutomationSkill source unconfirmed
32KGitHub
Judge0
judge0
Robust, fast, scalable, and sandboxed open-source online code execution system for humans and AI.
Agent FrameworksSkill source unconfirmed
4.3KGitHub
2KGitHub
Pm Skills
phuryn
PM Skills Marketplace: 100+ agentic skills, commands, and plugins — from discovery to strategy, execution, launch, and growth.
22.3KGitHub
RagaAI Catalyst
raga-ai-hub
Python SDK for Agent AI Observability, Monitoring and Evaluation Framework. Includes features like agent, llm and tools tracing, debugging multi-agentic system, self-hos…
CodingSkill source unconfirmed
16.1KGitHub
Big AGI
enricoros
AI suite powered by state-of-the-art models and providing advanced AI/AGI functions. Includes AI personas, AGI functions, world-class Beam multi-model chats, text-to-ima…
7KGitHub
Ccpm
automazeio
Project management skill system for Agents that uses GitHub Issues and Git worktrees for parallel agent execution.
8.2KGitHub
DALI
NVIDIA
A GPU-accelerated library containing highly optimized building blocks and an execution engine for data processing to accelerate deep learning training and inference appl…
Ml AutomationSkill source unconfirmed
5.7KGitHub
Agent Governance Toolkit
microsoft
AI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Age…
Agent FrameworksSkill source unconfirmed
4.6KGitHub
OpenAgentsControl
darrenhinde
AI agent framework for plan-first development workflows with approval-based execution. Multi-language support (TypeScript, Python, Go, Rust) with automatic testing, code…
Agent FrameworksSkill source unconfirmed
4.6KGitHub
Golutra
golutra
Multi-agent AI orchestration platform for automation, workflows, and developer tools. Golutra transforms Codex, Claude Code, and OpenClaw into a unified agent system wit…
3.7KGitHub
PySR
MilesCranmer
High-Performance Symbolic Regression in Python and Julia
Ml AutomationSkill source unconfirmed
3.6KGitHub
AGiXT
Josh-XT
AGiXT is a dynamic AI Agent Automation Platform that seamlessly orchestrates instruction management and complex task execution across diverse AI providers. Combining ada…
CodingSkill source unconfirmed
3.2KGitHub
2.8KGitHub