DeepSeek Harness PluginManifest Valid

MathModelingAgent

Closed-loop mathematical modeling and verification plugin bundle featuring iterative solving, independent auditing, and evidence-driven validation.

Developer ToolsSecurity & PolicySkills & Workflows

4GitHub Stars0ForksUpdated2026-09-03

Source Homepage

Install

$ dsh plugin --profile web add github:yohanchen1/MathModelingAgent#v0.5.2

Plugin Overview & Capabilities

AI-assisted organization based on the public repository snapshot. The content must be grounded in source evidence and does not replace compatibility or security verification.

source-grounded

MathModelingAgent is a DeepSeek Harness plugin bundle designed for open-ended mathematical modeling, optimization, estimation, and scientific analysis. Operating on a closed-loop claim-obligation-evidence workflow, it generates candidate models, executes calculations, and validates hypotheses via pluggable computational engines or independent auditing without relying on model self-evaluations.

Key Capabilities

Closed-loop scientific modeling workflow covering problem decomposition, hypothesis testing, and iterative correction
Evidence-driven verification protocol tracking claims, obligations, and reproducible calculation evidence
Independent audit skill (math-modeling-audit) for verifying claims and simulated MCM/ICM competition paper scoring
Pluggable computation backend adapters supporting Python environments, Lean theorem proving, and Wolfram symbolic computing
Stateful crash-resilient run ledger with input snapshot hashing and structured failure tracking

Useful For

Preparing mathematical modeling contest entries (MCM/ICM/CUMCM) with reproducible verification
Auditing existing scientific simulation code, papers, and mathematical proofs for claim validity and edge cases
Executing robust, multi-attempt numerical optimization and sensitivity analysis with full provenance logs

Who It Fits

Mathematical modeling competitors and researchers
Scientific computing engineers and analysts
AI researchers seeking verifiable, multi-step agentic problem-solving

Documented Limitations

External mathematical backends like Lean and Wolfram are not bundled and require pre-installed host engines or tools
Simulated MCM/ICM competition grading serves as a paper quality proxy and is not an official COMAP evaluation

DSH Compatibility

Version-specific runtime evidence collected by DSH Plugin. A missing result means we have not tested that combination yet.

Not tested yetNo runtime compatibility tests have been published yet.

Security Signals

Objective signals discovered from package metadata and source inspection. These are not a guarantee that a plugin is safe.

Dependency Counts

package.json declares 0 runtime, 0 development, 0 peer, and 0 optional dependencies.

info

Dsh Bundle Declared

package.json declares DSH bundle metadata.

info

License Declared

GitHub reports the repository license as MIT.

info

Package Manifest Available

A root package.json was captured and can be inspected by the registry.

info

Source Available

Public GitHub source metadata is available for this registry snapshot.

info

Source & Registry Notes

Public provenance, Registry classification, and the latest source check for this entry, kept separate from runtime verification.

Source repository: yohanchen1/MathModelingAgent
Registry source: GitHub · dsh-plugin topic
Registry classification: Plugin Bundle
Source checked: 0403545 · 2026-09-04

This project is independently indexed from public source information. DSH Plugin is not affiliated with DeepSeek or the plugin author. Always check the author repository before installation.