Why wouldn't you just use coding agents and ensure you have e.g. Lean and Mathlib in the environment?

the system prompt could be narrower, for instance. there's no reason for such a harness to know about React stuff, for instance.

	▲	ndriscoll 10 minutes ago \| parent [-]
		Does Claude Code's system prompt know about react? Why? That would be dumb even for coding for e.g. server side applications. Like when I'm programming with Go or Scala or Rust, codex just assumes the relevant stuff is on my PATH. If it needs to reference library definitions, it looks at the standard locations (which the model already knows) for the package cache. etc.