PaddleSpeech
PaddlePaddle
Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System,…
12.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”
1–2 / 2
Results: 2
AutoCVE
larlarua
Agent-driven automated CVE discovery platform for source code auditing, vulnerability verification, and report generation.
1.3KGitHub