技能目录

为 AI Agent 发现可复用技能。

按任务搜索真实的 GitHub 技能,并在使用前查看 Stars、信任、审计、分类和安装路径。

每个推荐都保留与其仓库、审计和安装路径的明确关联。

搜索结果: formal-verification

英文目录

Review UI code for web interface guidelines, UX quality, accessibility, and interaction design best practices.

30K
Stars
82/100
信任
分类: design-creative审计

Easy-to-use Speech Toolkit including Self-Supervised Learning model, SOTA/Streaming ASR with punctuation, Streaming TTS with text frontend, Speaker Verification System, End-to-End Speech Translation and Keyword Spotting. Won NAACL2022 Best Demo Award.

13K
Stars
87/100
信任
分类: media-automation审计

PostgreSQL backup tool with Point-In-Time-Recovery and restore verification

7.4K
Stars
76/100
信任
分类: devops审计

Vendor-agnostic orchestration for training, inference and agentic workloads across NVIDIA, AMD, TPU, and Tenstorrent on clouds, Kubernetes, and bare metal.

2.2K
Stars
85/100
信任
分类: agent-skills审计

The verification layer for coding agents

2.8K
Stars
77/100
信任
分类: coding-agents审计

Crabbox: warm a box, sync the diff, run the suite.

1.3K
Stars
81/100
信任
分类: utility审计

A full-lifecycle Claude Code skill for creating, compiling, reviewing, and polishing academic Beamer LaTeX presentations with quality scoring and pedagogical audits.

324
Stars
77/100
信任
分类: presentation审计

📚 Two books on harness engineering — the design philosophies behind Claude Code & Codex: constraints, query loops, context governance, multi-agent verification. harness-books.agentway.dev

2.7K
Stars
75/100
信任
分类: agent-frameworks审计

Prepare a pre-earnings briefing with consensus estimates, beat-miss history, and current market context.

3.2K
Stars
72/100
信任
分类: Finance审计

A collection of reusable agent skills for Dart and Flutter development, following the Agent Skills standard.

139
Stars
77/100
信任
分类: coding-agents审计

:white_check_mark: A Go library for email verification without sending any emails.

1.6K
Stars
83/100
信任
分类: productivity-automation审计

Develop, fix, and profile Cherry Studio in a tracked Electron instance. Use for everyday implementation, UI and interaction work, bug fixing, runtime debugging, DevTools inspection, lag or jank investigation, CPU and memory monitoring, leak checks, and startup-performance analysis; reuse a verified workspace instance across instructions and launch or replace one only when required.

51K
Stars
79/100
信任
分类: research审计