I’m an applied math student currently working on Jacobian, a project building pure-mathematics tools for AI agents.

• Jacobian — Researching mathematical benchmarks and improving how agents find, use, and verify mathematical capabilities. My work has included capability discovery, runnable examples, safer diagnostics, producer–verifier workflows, and benchmark validation across areas such as polynomial algebra, probability, topology, and SAT/SMT.

• Harbor — Investigated Docker network isolation on macOS, reported the underlying issue, and proposed a narrowly scoped fallback for static no-network tasks.