القائمة
Verify algebra, calculus, identities, equation solving, and nontrivial derivation steps with SymPy. Use when a mathematical result needs programmatic checking.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
استنادا إلى تصنيف SOC المهني
Check a LaTeX paper before submission or circulation. Verify references, compilation, LaTeX hygiene, figure quality, affiliations, acknowledgements, and code or data availability, then return one severity-ranked report.
Critique an academic manuscript for novelty, methodological rigor, causal claims, data quality, generalizability, mechanism, and presentation. Use for pre-submission review or anticipating reviewer concerns.
Review LaTeX documents for common issues, style consistency, typography, cross-references, draft artifacts, and debugging code. Use after editing LaTeX documents or before submission.
Critique academic figures for print quality, accessibility, legibility, visual encoding, and statistical presentation. Use when reviewing figures or preparing a manuscript for submission.
Toggle DOI, URL, eprint, and ISBN display in a biblatex bibliography. Use when the user asks to show or hide identifiers or make bibliography identifiers available as links.
Query and analyze scholarly literature using the OpenAlex API. Use for literature searches, finding papers by author or institution, citation analysis, and bibliometric queries.
| name | verify-math |
| description | Verify algebra, calculus, identities, equation solving, and nontrivial derivation steps with SymPy. Use when a mathematical result needs programmatic checking. |
Use the bundled script to check nontrivial symbolic transformations. When the user requests a fully audited derivation, verify each substantive step. Do not add tool calls after routine arithmetic or notation changes.
State relevant domains and assumptions before interpreting a result. SymPy may return expressions that are equal only under conditions involving signs, branches, singularities, or parameter values. Report those conditions instead of treating every simplified equality as a universal proof.
# Check two expressions are equal
./verify.py eq "EXPR1" "EXPR2"
# Compute derivative
./verify.py diff "EXPR" [VAR]
# Compute integral
./verify.py int "EXPR" [VAR]
# Simplify/expand expression
./verify.py simp "EXPR"
# Solve equation (EXPR = 0)
./verify.py solve "EXPR" [VAR]
Paths are relative to this skill's directory.
x**2 or x^2sin(x), cos(x), exp(x), log(x), sqrt(x)x y z t s n k a b c CE I S N O (treated as variables, not SymPy constants)