hoanganhduc/coding-system-rebuild - Seite 8

lean-explore-mcp

Optional inert LeanExplore MCP setup helper for Lean declaration search.

Quellsprache: Englisch

lean-formalization-intake

Optional local-first Lean formalization intake and suitability decision workflow.

Quellsprache: Englisch

lean-strict-verification-gate

Scanner-first Lean artifact verification gate that separates typecheck status from claim support.

Quellsprache: Englisch

model-router

Choose an appropriate model, reasoning level, and role for subagents or multi-agent research work.

Quellsprache: Englisch

paper-lookup

External paper metadata and discovery fallback.

Quellsprache: Englisch

paper-review

Single-agent paper review workflow.

Quellsprache: Englisch

prose

Structured reproducible research and workflow orchestration.

Quellsprache: Englisch

research-briefing

Scope nontrivial research before execution with evidence plan and workflow recommendation.

Quellsprache: Englisch

research-digest-wrapper

Run tracked-topic research digests.

Quellsprache: Englisch

research-report-reviewer

Review draft research reports for unsupported claims, ambiguity, and evidence gaps.

Quellsprache: Englisch

research-router

DeepSeek adapter that routes research requests to the Codex-backed local research skills.

Quellsprache: Englisch

research-verification-gate

Final evidence, date, and gap check before delivery.

Quellsprache: Englisch

rss-news-digest

Run and manage RSS digest workflows.

Quellsprache: Englisch

sagemath

Sage-backed math, graph theory, algebra, and verification.

Quellsprache: Englisch

self-improving-agent

Log durable learnings and propose canonical repo integration plans across install targets.

Quellsprache: Englisch

session-logs

Search prior local agent session logs when explicitly requested.

Quellsprache: Englisch

source-research

General web and source-gathering research workflow for current-information synthesis.

Quellsprache: Englisch

submission-venue-selector

Evidence-gated journal and conference venue selection for scholarly drafts; deliverable rankings require comparator-paper evidence.

Quellsprache: Englisch

tikz-draw

Structural TikZ figure generation, compile, review, and semantic checks.

Quellsprache: Englisch

vnthuquan

Vietnam Thu Quan ebook discovery, validation, dry-run download, and Calibre dry-run handoff.

Quellsprache: Englisch

workspace-rearranger

Plan safe workspace organization with dry-run first, explicit apply, and no silent deletion.

Quellsprache: Englisch

database-lookup

Use when the user wants structured information from public scientific, biomedical, regulatory, materials, or economic databases. This is a reference-first skill for selecting the right database and query strategy.

Quellsprache: Englisch

workspace-rearranger

Use when the user wants to organize, rearrange, sort, or clean up workspace files with safe dry-run and explicit apply behavior.

Quellsprache: Englisch