DeepSeek Harness Plugins
DeepSeek Harness PluginManifest Valid

MathModelingAgent

Evidence-driven mathematical modeling and verification skills bundle for DeepSeek Harness.

Developer ToolsSecurity & PolicySkills & Workflows
4GitHub Stars0ForksUpdated2026-09-03

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 providing evidence-based mathematical modeling and audit workflows. It implements a Claim-Obligation-Evidence verification framework to ensure conclusions are rigorously backed by numerical calculations, sensitivity checks, baselines, and formal verification rather than subjective LLM generation.

Key Capabilities

  • Evidence-driven mathematical modeling through problem decomposition and hypothesis testing
  • Independent auditing workflow via math-modeling-audit skill for claim verification (PASS/FAIL/INCONCLUSIVE)
  • Pluggable tool integration supporting Python environments, Lean, Wolfram, and literature research
  • Crash-resilient persistent state management and ledger tracking in math-modeling-runs directories
  • MCM/ICM competition paper and model audit simulation framework

Useful For

  • Developing open-ended mathematical models for optimization, forecasting, and simulation with verifiable claims
  • Performing independent external auditing on existing mathematical papers, models, or simulation code
  • Conducting rigorous MCM/ICM competition prep with simulated adjudication and gap analysis

Who It Fits

  • Mathematical modeling researchers and engineers
  • MCM/ICM contest participants and mentors
  • Data scientists requiring reproducible, high-assurance algorithmic claims

Documented Limitations

  • External tools like Lean and Wolfram are optional but require local environment setup for full verification
  • Cannot guarantee global optimality without exact solvers or analytical bounds
  • Auditing scorecards do not represent official COMAP grading

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.

No automated security signals have been published yet.

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.

Repository Activity

GitHub stars
4GitHub stars
Forks
0
Open issues
0
Last commit
2026-09-03
Last release
No release detected
For maintainers

Maintaining this plugin?

This listing is generated from public repository data. If you maintain this project, you can review the information and share this listing with your users if you find it useful.

Add to README
Listed on DSHPlugin.app