doc2math
doc2math
Convert narrative technical documents into grounded Mathematical Problem Specifications with variables, constraints, objectives, and uncertainty.
THE SKILLS DIRECTORY
Explorar todas las Skills.
Una Skill. Una posibilidad completamente nueva. Encuentra tu próximo 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