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–9 / 9
More filters · 1
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 9
37KGitHub
Judge0
judge0
Robust, fast, scalable, and sandboxed open-source online code execution system for humans and AI.
Agent FrameworksSkill source unconfirmed
4.3KGitHub
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
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
Lazycodex
code-yeongyu
The one and only agent harness for complex codebases. Project memory, planning, execution, and verified completion inside Codex.
2.8KGitHub