Sandbox
22 repos for verification · Skills · CursorClear
gokeshenzhen/
awesome-formal-verification-skill

Open-source, agent-agnostic RTL formal verification skill library for AI coding agents: JasperGold FPV, SVA, proof optimization, and TCL workflows for Claude Code, Codex, Gemini CLI, and Cursor.

33
Aurite-ai/
agent-verifier

Agent Verifier is a coding agent skill that verifies code against organizational policies, code quality patterns, security requirements, and framework best practices — before code ships. Works with Claude Code, Cursor, Windsurf, and 30+ agents.

44
Da7-Tech/
SureForge

Agent Skill for complex work: research before asking, ask before planning, plan before building, verify before delivering, independent review before calling it done. Plain text, no runtime.

84

Self-evolving browser automation for Codex, Claude Code, and Cursor—learn reusable site knowledge and safely replay verified routines with agent-browser.

102
QinghongLin/
data2story-skill

Data Journalist Agent: Transforming Data into Verifiable Multimodal Story

155
Agile-V/
agile_v_skills

Agent Skills for traceable requirements, independent verification, human approval gates, and auditable AI-assisted engineering. Supports Claude Code, Cursor, VS Code, and GitHub Copilot; ISO 9001/27001 aligned (design phase), GxP-aware.

53
Hanyuyuan6/
remote-gpu-trainer

An Agent Skill for the DL experiment lifecycle: RUN (a GPU you own or rent) → VERIFY the number is real → DELIVER reproducible, single-source figures and tables.

63
ShaishavMaisuria/
research-paper-lifecycle-skills

42 AI agent skills for literature review, academic writing, citation verification, conference submission, rebuttal, publication, and presentations.

42

Agent skill for beautiful, verifiable architecture, workflow, sequence, data-flow, and lifecycle diagrams—self-contained HTML with motion and crisp export.

57k
zhangqi444/
open-forge

Let your AI coding agent self-host any open-source app for you. 2,200+ verified recipes — provisioning, DNS, TLS, hardening. Works with Claude Code, Codex, Cursor, Aider, OpenClaw, Hermes.

98
gaasher/
Agent-Loop-Skills

Loop until it's better — drop-in agentic loops (autoresearch, scientific writing, data analysis, code/SQL/prompt optimization, red-teaming) as open-standard Agent Skills. Verification-gated; native on Claude Code, portable across Codex, Cursor & other Skills hosts.

168
masteranime/
n8n-claude-skills

Production Claude Code skills for n8n from a Verified Creator's 100+ workflows

32

Agent skills that fact-check the internet: claim-by-claim verification with sources and a 0-10 BS score for any YouTube video, article, tweet, or PDF

142
GanyuanRan/
Aegis

Make AI coding agents architecture-aware: baseline-first, evidence-verified, drift-checked, and safe across long tasks.

1.2k

Open-source design-method engine for Claude Code, Codex & Cursor. 23 agent skills for fixed design judgment, multiple grammars, semantic palettes, reference compilation, and evidence-verified UI. MIT.

948
levi-qiao/
longgraph-skill

Long-horizon agent skill for Claude Code / Cursor / Codex / Grok Build — multi-task ledger loop, host-portable, clean-context supervisor, verified gates. Markdown library (loop-graph), not a framework.

76

239 evaluated academic Claude/agent skills across 17 research domains (bioinformatics, data science, clinical, social-science methods, Turkish academia & more). Executable eval per skill, deterministic citation verifier, research→write→review→publish pipeline, and a skill-finder front door. Claude Code, Cursor, Codex, Gemini CLI & Copilot.

66
workersio/
skills

Agent skills to find and fix software bugs

166
iliaal/
ai-skills

Curated collection of agent skills for AI coding assistants.

41
netresearch/
php-modernization-skill

Agent Skill: PHP 8.x modernization patterns - typing, attributes, PHPStan | Claude Code compatible

44
Jane-xiaoer/
claude-skill-web-clone

Methodology for faithfully cloning any website (static / React / WebGL) — without copying AI-hallucinated code. Real source first.

996
artemiimillier/
bulletproof

Turns AI agents from chaotic code generators into disciplined engineers. 12-stage workflow from research to production.

151