ProofRoute: Token-Efficient AI Agent
An accuracy-first AI agent that uses proof-carrying deterministic solvers for zero-token tasks and dynamically routes unsupported tasks to the best permitted Fireworks model, while enforcing strict output contracts.