職業分類
テクニカルライター
説明
Claim-preserving draft writing workflow for controlled rewriting, polishing, and revision audits.
原文の言語: 英語
更新
このリポジトリの skills
hoanganhduc/coding-system-rebuild - 7ページ
SkillsMP は hoanganhduc/coding-system-rebuild から 303 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
hoanganhduc/coding-system-rebuild収集済み skill 303 件中 40 件を表示しています。
skill
職業分類
説明
更新
職業分類
ソフトウェア開発者
説明
Generate minimal Lean-style theorem skeletons, namespace wrappers, and formal statement stubs.
原文の言語: 英語
更新
職業分類
ネットワーク・コンピュータシステム管理者
説明
Detect CPU, memory, disk, and optional accelerator availability before heavy local work.
原文の言語: 英語
更新
職業分類
その他の高等教育教員
説明
External paper retrieval fallback after local library checks.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Lightweight graph sanity checks.
原文の言語: 英語
更新
職業分類
その他コンピュータ職
説明
Optional inert LeanExplore MCP setup helper for Lean declaration search.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Optional local-first Lean formalization intake and suitability decision workflow.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Scanner-first Lean artifact verification gate that separates typecheck status from claim support.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Choose an appropriate model, reasoning level, and role for subagents or multi-agent research work.
原文の言語: 英語
更新
職業分類
その他の高等教育教員
説明
External paper metadata and discovery fallback.
原文の言語: 英語
更新
職業分類
その他の高等教育教員
説明
Single-agent paper review workflow.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Structured reproducible research and workflow orchestration.
原文の言語: 英語
更新
職業分類
市場調査アナリスト・マーケティングスペシャリスト
説明
Scope nontrivial research before execution with evidence plan and workflow recommendation.
原文の言語: 英語
更新
職業分類
市場調査アナリスト・マーケティングスペシャリスト
説明
Run tracked-topic research digests.
原文の言語: 英語
更新
職業分類
市場調査アナリスト・マーケティングスペシャリスト
説明
Review draft research reports for unsupported claims, ambiguity, and evidence gaps.
原文の言語: 英語
更新
職業分類
市場調査アナリスト・マーケティングスペシャリスト
説明
Final evidence, date, and gap check before delivery.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Run and manage RSS digest workflows.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Sage-backed math, graph theory, algebra, and verification.
原文の言語: 英語
更新
職業分類
その他コンピュータ職
説明
Log durable learnings and propose canonical repo integration plans across install targets.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Search prior local agent session logs when explicitly requested.
原文の言語: 英語
更新
職業分類
市場調査アナリスト・マーケティングスペシャリスト
説明
General web and source-gathering research workflow for current-information synthesis.
原文の言語: 英語
更新
職業分類
その他の高等教育教員
説明
Evidence-gated journal and conference venue selection for scholarly drafts; deliverable rankings require comparator-paper evidence.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Structural TikZ figure generation, compile, review, and semantic checks.
原文の言語: 英語
更新
職業分類
DTPオペレーター
説明
Vietnam Thu Quan ebook discovery, validation, dry-run download, and Calibre dry-run handoff.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Plan safe workspace organization with dry-run first, explicit apply, and no silent deletion.
原文の言語: 英語
更新
職業分類
その他の高等教育教員
説明
Zotero paper search, retrieval, ingest, and collection workflow.
原文の言語: 英語
更新
職業分類
その他コンピュータ職
説明
Multi-agent discussion, review, and research orchestration.
原文の言語: 英語
更新
職業分類
その他の高等教育教員
説明
Annotated paper review workflow when both annotation and review are requested.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Optional inert setup helper for AxiomMath AXLE MCP formal-proof assistance.
原文の言語: 英語
更新
職業分類
DTPオペレーター
説明
Calibre ebook lookup and library helper workflows.
原文の言語: 英語
更新
職業分類
その他コンピュータ職
説明
Cross-agent delegation packet contract for bounded parent-controlled handoffs.
原文の言語: 英語
更新
職業分類
その他の生物科学者
説明
Structured public scientific, biomedical, regulatory, materials, and economic database lookups.
原文の言語: 英語
更新
職業分類
市場調査アナリスト・マーケティングスペシャリスト
説明
Phased source-preserving research workflow: search, analyze, write, with citation handoff.
原文の言語: 英語
更新
職業分類
その他の高等教育教員
説明
Convert digest output into paper retrieval manifests.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Parse, convert, OCR, chunk, and analyze documents.
原文の言語: 英語
更新
職業分類
テクニカルライター
説明
Claim-preserving draft writing workflow for controlled rewriting, polishing, and revision audits.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Generate minimal Lean-style theorem skeletons, namespace wrappers, and formal statement stubs.
原文の言語: 英語
更新
職業分類
ネットワーク・コンピュータシステム管理者
説明
Detect CPU, memory, disk, and optional accelerator availability before heavy local work.
原文の言語: 英語
更新
職業分類
その他の高等教育教員
説明
External paper retrieval fallback after local library checks.
原文の言語: 英語
更新
職業分類
ソフトウェア開発者
説明
Lightweight graph sanity checks.
原文の言語: 英語
更新
収集済み skill 303 件中 40 件を表示しています。