Search
DeepSeek · By wanshuiyin
1 skill found.
Category:
Skills
| # | 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 |
