4 ms·
Why wouldn't you just use coding agents and ensure you have e.g. Lean and Mathlib in the environment?
by ndriscoll 6mo ago
Why wouldn't you just use coding agents and ensure you have e.g. Lean and Mathlib in the environment?
- gverrilla 6mo agothe system prompt could be narrower, for instance. there's no reason for such a harness to know about React stuff, for instance.
- ndriscoll 6mo agoDoes 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.