hoanganhduc/coding-system-rebuild - الصفحة ٧

draft-writing

Claim-preserving draft writing workflow for controlled rewriting, polishing, and revision audits.

لغة النص الأصلي: الإنجليزية

formal-skeleton-helper

Generate minimal Lean-style theorem skeletons, namespace wrappers, and formal statement stubs.

لغة النص الأصلي: الإنجليزية

get-available-resources

Detect CPU, memory, disk, and optional accelerator availability before heavy local work.

لغة النص الأصلي: الإنجليزية

getscipapers-requester

External paper retrieval fallback after local library checks.

لغة النص الأصلي: الإنجليزية

graph-verifier

Lightweight graph sanity checks.

لغة النص الأصلي: الإنجليزية

lean-explore-mcp

Optional inert LeanExplore MCP setup helper for Lean declaration search.

لغة النص الأصلي: الإنجليزية

lean-formalization-intake

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

لغة النص الأصلي: الإنجليزية

lean-strict-verification-gate

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

لغة النص الأصلي: الإنجليزية

model-router

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

لغة النص الأصلي: الإنجليزية

paper-lookup

External paper metadata and discovery fallback.

لغة النص الأصلي: الإنجليزية

paper-review

Single-agent paper review workflow.

لغة النص الأصلي: الإنجليزية

prose

Structured reproducible research and workflow orchestration.

لغة النص الأصلي: الإنجليزية

research-briefing

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

لغة النص الأصلي: الإنجليزية

research-digest-wrapper

Run tracked-topic research digests.

لغة النص الأصلي: الإنجليزية

research-report-reviewer

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

لغة النص الأصلي: الإنجليزية

research-verification-gate

Final evidence, date, and gap check before delivery.

لغة النص الأصلي: الإنجليزية

rss-news-digest

Run and manage RSS digest workflows.

لغة النص الأصلي: الإنجليزية

sagemath

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

لغة النص الأصلي: الإنجليزية

self-improving-agent

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

لغة النص الأصلي: الإنجليزية

session-logs

Search prior local agent session logs when explicitly requested.

لغة النص الأصلي: الإنجليزية

source-research

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

لغة النص الأصلي: الإنجليزية

submission-venue-selector

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

لغة النص الأصلي: الإنجليزية

tikz-draw

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

لغة النص الأصلي: الإنجليزية

vnthuquan

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

لغة النص الأصلي: الإنجليزية

workspace-rearranger

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

لغة النص الأصلي: الإنجليزية

zotero

Zotero paper search, retrieval, ingest, and collection workflow.

لغة النص الأصلي: الإنجليزية

agent-group-discuss

Multi-agent discussion, review, and research orchestration.

لغة النص الأصلي: الإنجليزية

annotated-review

Annotated paper review workflow when both annotation and review are requested.

لغة النص الأصلي: الإنجليزية

axiom-axle-mcp

Optional inert setup helper for AxiomMath AXLE MCP formal-proof assistance.

لغة النص الأصلي: الإنجليزية

calibre

Calibre ebook lookup and library helper workflows.

لغة النص الأصلي: الإنجليزية

cross-agent-delegation

Cross-agent delegation packet contract for bounded parent-controlled handoffs.

لغة النص الأصلي: الإنجليزية

database-lookup

Structured public scientific, biomedical, regulatory, materials, and economic database lookups.

لغة النص الأصلي: الإنجليزية

deep-research-workflow

Phased source-preserving research workflow: search, analyze, write, with citation handoff.

لغة النص الأصلي: الإنجليزية

digest-bridge

Convert digest output into paper retrieval manifests.

لغة النص الأصلي: الإنجليزية

docling

Parse, convert, OCR, chunk, and analyze documents.

لغة النص الأصلي: الإنجليزية

draft-writing

Claim-preserving draft writing workflow for controlled rewriting, polishing, and revision audits.

لغة النص الأصلي: الإنجليزية

formal-skeleton-helper

Generate minimal Lean-style theorem skeletons, namespace wrappers, and formal statement stubs.

لغة النص الأصلي: الإنجليزية

get-available-resources

Detect CPU, memory, disk, and optional accelerator availability before heavy local work.

لغة النص الأصلي: الإنجليزية

getscipapers-requester

External paper retrieval fallback after local library checks.

لغة النص الأصلي: الإنجليزية

graph-verifier

Lightweight graph sanity checks.

لغة النص الأصلي: الإنجليزية