version-bump
thedotmack
Automated semantic versioning and release workflow for Claude Code plugins. Handles version increments across package.json, marketplace.json, plugin.json manifests, buil…
93KGitHub
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
citation-audit
wanshuiyin
Zero-context verification that every bibliographic entry in the paper is real, correctly attributed, and used in a context the cited paper actually supports — catching h…
15.6KGitHub
AutoCVE
larlarua
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
1.3KGitHub