ChronoStrider

Tribos is a research partner for engineering, physics, and mathematics, built on Meta Muse Spark. The problem: a language model alone gives fluent but unchecked answers. A wrong unit, a dropped term, or an invented citation looks exactly like a correct one, and in engineering and science that is dangerous. Tribos makes the model work like a careful researcher. It plans the problem, then calls real tools to do the work: exact computer algebra (SymPy), numerical solvers and simulations (SciPy), a sandboxed Python runtime, CODATA constants and unit checks, the scientific literature, and the Lean 4 proof checker. The answer shows every formula and number, and says which claims were checked and how. It also reads problems from photos (two OCR engines plus two Muse Spark vision readings, cross-checked) and runs full research projects: rounds of computations, simulations, and proofs until it concludes, with a findings ledger, verification seals (Lean-verified, certified, replicated), and a thesis exported to PDF, Word, or Markdown.