メニュー
SkillsMP は abderrahim-lectures/lean4-learning から 8 件の skill を収集しています。skill を開くとソースと詳細を確認できます。
収集済み skill 8 件中 8 件を表示しています。
Adversarial, brutally honest review of mathematical content — definitions, theorems, proofs, worked examples, exercises and their solutions — including formal Lean 4 code. Use when checking the mathematics of a textbook or manuscript before publishing, when…
原文の言語: 英語
AMS-level adversarial review of category-theory claims and explanations in a mathematics textbook — checks that categorical readings (quivers as categories, rings as one-object preadditive categories, universal properties, functors, forgetful functors) are…
原文の言語: 英語
Auditor for Lean 4 code blocks in a proof-assistant textbook — checks compilation against the pinned toolchain, faithfulness of formalization to prose, absence of proof-faking shortcuts, and correct use of tactics/automation. Use when verifying that every…
原文の言語: 英語
Adversarial review of proof-search narrative descriptions in mathematical textbooks — checks that each theorem's "search process" (what to try, why it fails, how to recover) is mathematically accurate, pedagogically effective, and honestly presented. Use when…
原文の言語: 英語
Adversarial review of LaTeX/PDF typesetting output — checks formatting consistency, equation rendering, diagram quality (tikz-cd), cross-reference integrity, code-block styling, and overall visual correctness against the source Markdown. Use after running the…
原文の言語: 英語
Final adjudication and detailed report by Claude Code in the last step of the adversarial review pipeline. Reads all Phase-1 reports, Phase-2 critiques, and the Phase-3 FINAL-REVIEW.md, then produces a detailed, human-grade verification report. Use when…
原文の言語: 英語
Adversarial, brutally honest review of a book or long-form technical manuscript's prose, structure, pedagogy, and factual claims. Use when reviewing textbook or technical writing before publishing, when the author wants genuine criticism instead of praise, or…
原文の言語: 英語
AMS-level adversarial review of mathematical notation consistency across an entire textbook — checks that every symbol, term, and convention is defined before use, used consistently, and correctly translated between Lean syntax and standard mathematical…
原文の言語: 英語