Enables delegating checkable subtasks such as summarization, search-and-summarize, and file downloads to a local OpenAI-compatible model, with mandatory result verification and job statistics.
Wraps AlphaGeometry2's DDAR engine to prove geometry theorems via symbolic reasoning. Enables users to input problems in AG2 format and receive proof status.