Menu
O SkillsMP coletou 8 skills de abderrahim-lectures/lean4-learning. Abra uma skill para revisar a origem e os detalhes.
Mostrando 8 de 8 skills coletadas.
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês