Search
Research & Science · Semantic Scholar · By tradecatlabs
1 skill found.
Skills
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Turns a vague math interest into a bounded, searchable problem and builds a source-traced evidence graph, with novelty checks and conjectures drawn from evidence gaps. | tradecatlabs/ | 17k | — | ~554 | Automated safety check: Pass | MIT | yesterday |
