搜索

PythonReactSEOPDF

benbrastmckie AI Skills

GitHub ↗

浏览 benbrastmckie 维护的已发布 AI 技能,比较用途与说明,并通过来源仓库了解安装方式。

作者统计

已收录技能

21

收录技能的仓库 Stars 合计

5,289

仓库 Forks

5,634

平均每个技能的仓库 Stars

252

同一仓库中的多个技能可能共享 Stars,合计包含重复仓库数据。

21 个技能

全部技能

GitHub

skill-researcher

benbrastmckie

Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.

GitHub

document-converter

benbrastmckie

Convert between Markdown, DOCX, and PDF formats bidirectionally. Handles text extraction from PDF/DOCX, markdown to document conversion. Use when converting document formats or extracting structured content fro...

GitHub

skill-orchestrator

benbrastmckie

Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.

GitHub

skill-planner

benbrastmckie

Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.

GitHub

skill-orchestrator

benbrastmckie

Route commands to appropriate workflows based on task language and status. Invoke when executing /task, /research, /plan, /implement commands.

GitHub

skill-model-checker

benbrastmckie

Research and develop semantic theories using ModelChecker with Z3 SMT solver. Define operators, adjust frame constraints, create examples, run tests, and report findings. Invoke with /mc or when working with mo...

GitHub

skill-researcher

benbrastmckie

Conduct general research using web search, documentation, and codebase exploration. Invoke for non-Lean research tasks.

GitHub

skill-planner

benbrastmckie

Create phased implementation plans from research findings. Invoke when a task needs an implementation plan.

默认按已收录数据中的 GitHub 仓库 Stars 排序。Stars 属于来源仓库,同一仓库的多个技能可能共享相同数值;它反映仓库关注度,不代表单个技能的安装量或质量评分。