add-managed-cli
simstudioai
Add or upgrade a curated, immutable managed CLI for Sim Function sandboxes, including client-safe catalog metadata, a pinned server-only installation recipe, checksum an…
29.5KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Find a skill for your next task. Preview examples where available.
Results · “formal-verification”
1–3 / 3
Results: 3
analytical-method-validation
K-Dense-AI
Plan, execute, and document validation, verification, and transfer of analytical procedures under the governing framework - ICH Q2(R2) and Q14, USP <1220>/<1225>/<1226>,…
34KGitHub
AutoCVE
larlarua
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
1.3KGitHub