Lazycodex
code-yeongyu
The one and only agent harness for complex codebases. Project memory, planning, execution, and verified completion inside Codex.
2.8KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Results · “symbolic-execution”
17–32 / 33
More filters
Candidates in this shortlist, not the full registry. GitHub stars belong to repositories, not individual skills.
Results: 33
DeepResearchAgent
SkyworkAI
DeepResearchAgent is a hierarchical multi-agent system designed not only for deep research tasks but also for general-purpose task solving. The framework leverages a top…
ResearchSkill source unconfirmed
3.5KGitHub
Skills
browser-act
Browser automation CLI built for AI agents. Break through anti-bot walls, hand off to humans across platforms when stuck. Parallel multi-task execution, independent mult…
2.4KGitHub
AutoHedge
The-Swarm-Corporation
Build your autonomous hedge fund in minutes. AutoHedge harnesses the power of swarm intelligence and AI agents to automate market analysis, risk management, and trade ex…
FinanceBlocked
3.4KGitHub
Sp1
succinctlabs
SP1 is a zero‑knowledge virtual machine that proves the correct execution of programs compiled for the RISC-V architecture.
Web3 AnalyticsSkill source unconfirmed
1.7KGitHub
Symforce
symforce-org
Fast symbolic computation, code generation, and nonlinear optimization for robotics
Robotics IotSkill source unconfirmed
1.6KGitHub
Nethermind
NethermindEth
A robust, high-performance execution client for Ethereum node operators.
Web3 AnalyticsSkill source unconfirmed
1.6KGitHub
Claude Code Workflow
catlog22
JSON-driven multi-agent cadence-team development framework with intelligent CLI orchestration (Gemini/Qwen/Codex), context-first architecture, and automated workflow exe…
2.1KGitHub
Endee
endee-io
Endee.io – A high-performance vector database, designed to handle up to 1B vectors on a single node, delivering significant performance gains through optimized indexing…
ResearchSkill source unconfirmed
1.3KGitHub
1.3KGitHub
agent-launcher-orchestrator
alirezarezvani
Use when a user wants to build, launch, grade, or schedule a Claude Managed Agent (CMA) in their own Anthropic account — "build me an agent", "launch this as a managed a…
25.1KGitHub
VisualHFT
visualHFT
VisualHFT is a WPF/C# desktop GUI that shows market microstructure in real time. You can track advanced limit‑order‑book dynamics and execution quality, then use its mod…
FinanceSkill source unconfirmed
1.2KGitHub
agile-product-owner
alirezarezvani
Agile product ownership for backlog management and sprint execution. Covers user story writing, acceptance criteria, sprint planning, and velocity tracking. Use when wri…
25.1KGitHub
agent-designer
alirezarezvani
Use when the user asks to design a multi-agent system, pick an orchestration pattern (supervisor/swarm/pipeline), generate tool schemas for agents, or evaluate agent exe…
24.8KGitHub
bdi-mental-states
muratcankoylan
This skill should be used when modeling agent mental states with BDI concepts: beliefs, desires, intentions, RDF-to-belief transformations, rational agency traces, cogni…
17.9KGitHub
multi-agent-patterns
muratcankoylan
This skill should be used when designing multi-agent systems that need context isolation, supervisor or swarm coordination, explicit handoffs, parallel execution, or a d…
17.9KGitHub