Status
Stranica koja tvrdi da "server provjerava" bi trebala jasno reći koji su verifikatori aktivni, tako da možete vidjeti razliku između "live" i "offline" verifikatora. nije dokazano i Danas nismo mogli pokrenuti test..
| Izolacija (zahtijevano prije bilo kojeg pokretanja podnošenja) | dostupno |
| Lean 4 + Mathlib (Jedini alat koji može postaviti ∎) | dostupno |
| SageMath | dostupno |
| PARI/GP | dostupno |
| Z3 / SMT | dostupno |
| Python (Sandboxed) | dostupno |
| Plot (matplotlib) | dostupno |
| OEIS search (Nečiji server, pa se potrudi.) | dostupno |