doc2math
doc2math
Convert narrative technical documents into grounded Mathematical Problem Specifications with variables, constraints, objectives, and uncertainty.
THE SKILLS DIRECTORY
Explore all skills.
One skill. A whole new possibility. Find your next workflow.
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
Direct from traceable public skill sources
An independently imported catalog with original authors, licenses and source links. Classification is not a security audit.
Sources and import coverage