Changed the AI model used for proof analysis from gemini-2.5-flash to gemini-3-pro-preview for improved analysis capabilities. Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com> |
||
|---|---|---|
| .. | ||
| agents | ||
| api | ||
| dependencies | ||
| models | ||
| repositories | ||
| services | ||
| websocket | ||
| __init__.py | ||
| config.py | ||
| main.py | ||