메뉴
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…
원문 언어: 영어