métier
Rédacteurs techniques
description
Claim-preserving draft writing workflow for controlled rewriting, polishing, and revision audits.
Langue du texte source : anglais
mis à jour
Skills dans ce dépôt
hoanganhduc/coding-system-rebuild - Page 7
SkillsMP a collecté 303 skills depuis hoanganhduc/coding-system-rebuild. Ouvrez un skill pour examiner sa source et ses détails.
hoanganhduc/coding-system-rebuildAffichage de 40 skills collectés sur 303.
skill
métier
description
mis à jour
métier
Développeurs de logiciels
description
Generate minimal Lean-style theorem skeletons, namespace wrappers, and formal statement stubs.
Langue du texte source : anglais
mis à jour
métier
Administrateurs de réseaux et de systèmes informatiques
description
Detect CPU, memory, disk, and optional accelerator availability before heavy local work.
Langue du texte source : anglais
mis à jour
métier
Enseignants postsecondaires, autres
description
External paper retrieval fallback after local library checks.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Lightweight graph sanity checks.
Langue du texte source : anglais
mis à jour
métier
Autres occupations informatiques
description
Optional inert LeanExplore MCP setup helper for Lean declaration search.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Optional local-first Lean formalization intake and suitability decision workflow.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Scanner-first Lean artifact verification gate that separates typecheck status from claim support.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Choose an appropriate model, reasoning level, and role for subagents or multi-agent research work.
Langue du texte source : anglais
mis à jour
métier
Enseignants postsecondaires, autres
description
External paper metadata and discovery fallback.
Langue du texte source : anglais
mis à jour
métier
Enseignants postsecondaires, autres
description
Single-agent paper review workflow.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Structured reproducible research and workflow orchestration.
Langue du texte source : anglais
mis à jour
métier
Analystes en études de marché et spécialistes en marketing
description
Scope nontrivial research before execution with evidence plan and workflow recommendation.
Langue du texte source : anglais
mis à jour
métier
Analystes en études de marché et spécialistes en marketing
description
Run tracked-topic research digests.
Langue du texte source : anglais
mis à jour
métier
Analystes en études de marché et spécialistes en marketing
description
Review draft research reports for unsupported claims, ambiguity, and evidence gaps.
Langue du texte source : anglais
mis à jour
métier
Analystes en études de marché et spécialistes en marketing
description
Final evidence, date, and gap check before delivery.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Run and manage RSS digest workflows.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Sage-backed math, graph theory, algebra, and verification.
Langue du texte source : anglais
mis à jour
métier
Autres occupations informatiques
description
Log durable learnings and propose canonical repo integration plans across install targets.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Search prior local agent session logs when explicitly requested.
Langue du texte source : anglais
mis à jour
métier
Analystes en études de marché et spécialistes en marketing
description
General web and source-gathering research workflow for current-information synthesis.
Langue du texte source : anglais
mis à jour
métier
Enseignants postsecondaires, autres
description
Evidence-gated journal and conference venue selection for scholarly drafts; deliverable rankings require comparator-paper evidence.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Structural TikZ figure generation, compile, review, and semantic checks.
Langue du texte source : anglais
mis à jour
métier
Éditeurs PAO
description
Vietnam Thu Quan ebook discovery, validation, dry-run download, and Calibre dry-run handoff.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Plan safe workspace organization with dry-run first, explicit apply, and no silent deletion.
Langue du texte source : anglais
mis à jour
métier
Enseignants postsecondaires, autres
description
Zotero paper search, retrieval, ingest, and collection workflow.
Langue du texte source : anglais
mis à jour
métier
Autres occupations informatiques
description
Multi-agent discussion, review, and research orchestration.
Langue du texte source : anglais
mis à jour
métier
Enseignants postsecondaires, autres
description
Annotated paper review workflow when both annotation and review are requested.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Optional inert setup helper for AxiomMath AXLE MCP formal-proof assistance.
Langue du texte source : anglais
mis à jour
métier
Éditeurs PAO
description
Calibre ebook lookup and library helper workflows.
Langue du texte source : anglais
mis à jour
métier
Autres occupations informatiques
description
Cross-agent delegation packet contract for bounded parent-controlled handoffs.
Langue du texte source : anglais
mis à jour
métier
Biologistes, autres
description
Structured public scientific, biomedical, regulatory, materials, and economic database lookups.
Langue du texte source : anglais
mis à jour
métier
Analystes en études de marché et spécialistes en marketing
description
Phased source-preserving research workflow: search, analyze, write, with citation handoff.
Langue du texte source : anglais
mis à jour
métier
Enseignants postsecondaires, autres
description
Convert digest output into paper retrieval manifests.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Parse, convert, OCR, chunk, and analyze documents.
Langue du texte source : anglais
mis à jour
métier
Rédacteurs techniques
description
Claim-preserving draft writing workflow for controlled rewriting, polishing, and revision audits.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Generate minimal Lean-style theorem skeletons, namespace wrappers, and formal statement stubs.
Langue du texte source : anglais
mis à jour
métier
Administrateurs de réseaux et de systèmes informatiques
description
Detect CPU, memory, disk, and optional accelerator availability before heavy local work.
Langue du texte source : anglais
mis à jour
métier
Enseignants postsecondaires, autres
description
External paper retrieval fallback after local library checks.
Langue du texte source : anglais
mis à jour
métier
Développeurs de logiciels
description
Lightweight graph sanity checks.
Langue du texte source : anglais
mis à jour
Affichage de 40 skills collectés sur 303.