Search
Research & Science · By tradecatlabs
Skills
Sort:BestMost starsTrending todayTrending this weekTrending this monthNewestRecently updatedName
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Runs reproducible math computations and counterexample searches with SymPy, NumPy and mpmath, logging evidence without presenting results as proofs. | tradecatlabs/ | 17k | — | ~881 | Automated safety check: Pass | MIT | yesterday |
| 2 | Constructs honest, checkable derivation chains for formulas and theory notes, and keeps approximations and numerical hints from passing as rigorous proof. | tradecatlabs/ | 17k | — | ~429 | Automated safety check: Pass | MIT | yesterday |
| 3 | 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 |
| 4 | Turns a mathematical claim into a small Lean 4 and Mathlib formalization checked by the proof assistant kernel, and refuses to report a pass without real evidence. | tradecatlabs/ | 17k | — | ~717 | Automated safety check: Pass | MIT | yesterday |
| 5 | Writes and audits natural-language math proofs as checkable packages, with explicit assumptions, proof obligations and counterexample hunting, refuting or repairing weak claims. | tradecatlabs/ | 17k | — | ~571 | Automated safety check: Pass | MIT | yesterday |
| 6 | Routes an unclear math research request to exactly one specialist skill, naming the current stage, the reason, the inputs needed, a stop condition and the next step. | tradecatlabs/ | 17k | — | ~407 | Automated safety check: Pass | MIT | yesterday |
