doc2math
doc2math
【文档与办公】Convert narrative technical documents into grounded Mathematical Problem Specifications with variables, constraints, objectives, and uncertainty.
THE SKILLS DIRECTORY
探索全部技能.
一个技能，一个新的可能。找到适合你的 AI 工作流。
sympy
sympy
【效率与协作】SymPy is a Python library for symbolic mathematics that enables exact computation using mathematical symbols rather than numerical approximations.
curves-and-paths
curves-and-paths
【开发与工程】Use this skill when working with curves and paths in Phaser 4. Covers splines, bezier curves, lines, ellipses, path followers, and mathematical curve types. Triggers on: curve, path, spline, bezier, path follower.
certora-prover
certora-prover
【数据与研究】Formal verification using Certora Prover with CVL specification language. Supports invariant rules, parametric verification, ghost variables, and counterexample analysis for mathematical proof of contract correctness.
portfolio-optimization
portfolio-optimization
【效率与协作】Optimize project portfolio selection under constraints using mathematical optimization
network-optimization-modeler
network-optimization-modeler
【设计与创意】Supply chain network design and optimization skill using mathematical modeling
linear-program-modeler
linear-program-modeler
【开发与工程】Mathematical programming skill for formulating and solving linear programming models for resource allocation, production planning, and capacity optimization.
adversarial-proof-audit
adversarial-proof-audit
【开发与工程】Audit immutable mathematical artifacts through isolated evidence-focused review lenses
arxiv-search-interface
arxiv-search-interface
【效率与协作】Search and analyze mathematical literature on arXiv
benchmark-suite-manager
benchmark-suite-manager
【效率与协作】Manage and execute mathematical benchmark suites
counterexample-generator
counterexample-generator
【效率与协作】Automated search for counterexamples to mathematical conjectures
diagram-generator
diagram-generator
【设计与创意】Mathematical diagram and visualization generation
latex-math-formatter
latex-math-formatter
【效率与协作】High-quality LaTeX mathematical typesetting
math-notation-validator
math-notation-validator
【效率与协作】Validate and standardize mathematical notation
mathematical-artifact-validation
mathematical-artifact-validation
【效率与协作】Run fail-closed deterministic validation for mathematical and LaTeX artifacts
mathscinet-interface
mathscinet-interface
【开发与工程】Interface with MathSciNet for mathematical reviews
proof-structure-analyzer
proof-structure-analyzer
【效率与协作】Analyze and restructure mathematical proofs for clarity and completeness
sage-math-interface
sage-math-interface
【效率与协作】SageMath for comprehensive mathematical computation
18 / 278