Search
DeepSeek · Math and symbolic computation
2 skills found.
Category:
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Runs a mathematical proof project as a stateful pipeline of run directories: a local attempt first, then a manual GPT Pro handoff package, with an optional DeepSeek audit. | wanshuiyin/ | 17k | 1 repo | ~4.7k | Automated safety check: Pass | MIT | 4 days ago |
| 2 | Runs a staged workflow for math modeling contests such as CUMCM and MCM/ICM, with checkpoints, verified solver code and a LaTeX paper, on DeepSeek Harness. | RealSeaberry/ | 257 | — | ~2.3k | Automated safety check: Pass | MIT | 1 mo ago |
