← Back to context Comment by ndriscoll 2 hours ago Why wouldn't you just use coding agents and ensure you have e.g. Lean and Mathlib in the environment? 1 comment ndriscoll Reply gverrilla 23 minutes ago the system prompt could be narrower, for instance. there's no reason for such a harness to know about React stuff, for instance.
gverrilla 23 minutes ago the system prompt could be narrower, for instance. there's no reason for such a harness to know about React stuff, for instance.
the system prompt could be narrower, for instance. there's no reason for such a harness to know about React stuff, for instance.