القائمة
جمع SkillsMP عدد ٨ من skills من abderrahim-lectures/lean4-learning. افتح أي skill لمراجعة مصدره وتفاصيله.
عرض ٨ من أصل ٨ skills مجمعة.
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…
لغة النص الأصلي: الإنجليزية