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
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”
17–18 / 18
Results: 18
AutoCVE
larlarua
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
1.3KGitHub