MathModelAgent
jihe520
🤖📐专为数学建模设计的 Agent & skills ,自动完成数学建模，生成一份完整的可以直接提交的论文。 An Agent Designed for Mathematical Modeling ,Automatically complete mathmodel and generate a complete paper read…
2.3KGitHub
OPENAGENTSKILL / DIRECTORY
AI Agent Skills
Find a skill for your next task. Explore tools for Codex, Claude Code, Cursor and more.
Find a skill for your next task. Preview examples where available.
Results · “mathematical-morphology”
1–5 / 5
Results: 5
Mathcode
math-ai-org
MathCode: A Frontier Mathematical Coding Agent
575GitHub
method-selector
zhnnky329
Build and risk-screen a compact role-based method shortlist for a mathematical-modeling subquestion. Use after problem framing and data profiling, before model code gene…
695GitHub
proof-readability
morankor
Polish verified mathematical proofs without changing their mathematical content. Use after a proof has been accepted by the user, a reviewer, Lean, or a co-math review c…
70GitHub
modeling-behavior-refactor
mantou6666
Contestant-scale code simplification. Simplify unnecessary engineering structure while preserving mathematical/numerical behavior; any executable hash change requires re…
22GitHub