القائمة
جمع SkillsMP عدد ٤ من skills من xsoc1/math-research-dsh. افتح أي skill لمراجعة مصدره وتفاصيله.
عرض ٤ من أصل ٤ skills مجمعة.
Orchestrate the full mathematics research pipeline: program management (manage-math-research-program) to rigorous problem research (rigorous-open-math-research) to Lean formal verification (lean-verify), with sub-agent division of labor, artifact handoff…
لغة النص الأصلي: الإنجليزية
Manage long-running, cross-paper, cross-problem mathematics research programs across sessions: initialize project workspaces; curate and version literature; maintain paper maps, open-problem portfolios, reusable tool libraries, research budgets, checkpoints,…
لغة النص الأصلي: الإنجليزية
Investigate open or research-level mathematics problems with explicit theorem contracts, diverse search, persistent research ledgers, executable checks, adversarial proof audits, literature verification, calibrated reporting, and snapshot-bound mathematics…
لغة النص الأصلي: الإنجليزية
Verify a Lean 4 formalization of a mathematical theorem with a strict, reproducible audit: pin the Lean environment, check statement fidelity against the informal contract, run machine checks (lake build, sorry/admit/axiom scan), independently audit every…
لغة النص الأصلي: الإنجليزية