terverifikasi
Matematika
TK sampai S3 · SymPy CAS
Aljabar, geometri, trigonometri, barisan, sampai kalkulus. Setiap baris diuji ekuivalensinya, bukan ditebak.
grafik · akar reallive
Tutor matematika yang
tidak memberi jawaban.
Setiap langkah diperiksa mesin simbolik, lalu dibimbing dengan pertanyaan. Tidak ada bocoran jawaban. Kamu yang menemukan jalannya.
Tanpa bocoran, termasuk LaTeX Deterministik, bukan tebakan LLM BYOK atau engine lokal
chatzap.web.id/chat/socratic-studio
Sesi Sokratik
ConnectorBagikan
Cek coretan saya: 2x + 6 = 14 → 2x = 20 → x = 10
Auto-Agent CerdasSymPy CAS23.06
Dari 2x + 6 = 14, memindahkan +6 ke ruas kanan berarti mengurangkan 6 pada kedua ruas:
2x = 14 - 6 = 8
Bandingkan dengan barismu (2x = 20). Menurutmu, operasi apa yang seharusnya terjadi pada baris kedua?
Patah Logika Terdeteksi
SymPy CAS#12x + 6 = 14
Valid#22x = 20
Galat#3x = 10
GalatBimbingan Sokratik:
Operasi apa yang seharusnya terjadi pada baris kedua?
Kontra-Contoh Substitusi:x = 2
Asal: −4Hasilmu: −16
Lihat di Papan Tulis Virtual 3DKubus
Tulis soal atau langkah pengerjaanmu…Auto-Agent Cerdas
Verifikasi simbolik
Whitelist aljabar dan SymPy CAS, batas eksponen sampai 100.
Tanpa bocoran
Guardrail menyaring jawaban akhir, termasuk notasi LaTeX.
Bimbingan Sokrates
Counter-example konkret saat langkahmu keliru.
Satu mesin memutuskan,
satu model menjelaskan.
Kebenaran matematika tidak pernah diserahkan ke LLM. Mesin deterministik memeriksa setiap baris, LLM hanya merangkai bahasa yang empatik.
- 01
Tulis langkahmu
Tempel beberapa baris penurunan atau satu soal. Tidak perlu format sempurna.
- 02
SymPy memeriksa
Mesin simbolik melacak galat pertama, menguji ekuivalensi, dan membuat counter-example konkret.
- 03
Kamu yang menyimpulkan
Model bahasa hanya merangkai pertanyaan Sokrates. Jawaban akhir tetap milikmu.
SymPy CAS
pemeriksaan langkah
langkah siswa2 baris
2x + 6 = 14
2x = 20galat baris 2
counter-example
Saat x = 2, ruas kiri bernilai −4, sedangkan baris kedua menghasilkan −16. Tanda operasinya belum seimbang.
pertanyaan sokrates
Operasi apa yang kamu terapkan pada +6 saat memindahkannya ke ruas kanan?
audit mesin
- Ekuivalensi ruasbaris 2 ditolak
- Konservasi akarterjaga
- Bocoran jawaban0
Zero-Answer Guardrail aktifroot conservation: conserved
Empat domain · satu mesin verifikasi
Bukan hanya matematika.
Setiap item diverifikasi mesin sesuai domainnya, bukan hasil karangan model. Empat pemeriksa, empat cara membaca langkahmu.
terverifikasi
Pemrograman
AST sandbox · Big-O
Kode diurai jadi pohon AST, dieksekusi tanpa builtins, lalu kompleksitasnya dibandingkan dengan klaim siswa.
AST · evaluasilive
terverifikasi
Fisika
Rumus dan cek numerik
Substitusi besaran dan satuan diperiksa numerik. Arah vektor serta tanda gaya harus konsisten di setiap langkah.
trajektori · vektorlive
terverifikasi
Kimia
Mol · pH · gas ideal
Stoikiometri, kesetimbangan, dan hukum gas dihitung deterministik, termasuk konservasi massa dan muatan.
molekul · pHlive
Percakapan & API key,
terenkripsi di peramban.
Vault dienkripsi dengan passphrase milikmu memakai AES-GCM 256 sebelum dikirim. Server tidak memiliki kunci untuk membukanya, dan kunci API ikut tersinkron aman antar perangkat.
Pelajari model keamananVault envelopeunlocked
cipheraes-gcmkdfpbkdf2 310kstoragelocal
9f2c 74ab e41a 0d6b
6f03 1c58 d7b8 2a41
Server tidak memegang kunci dekripsi.sealed
Terhubung dengan model terdepan, IDE, dan framework.
Pilih model favoritmu lewat API key sendiri, atau tetap di dalam ekosistem ZAP dengan engine Sokratik lokal. Semua jalur tetap melewati SymPy CAS dan Zero-Answer Guardrail.
Model dan providerBYOK ready
GeminiGoogle AI
OpenAIGPT-4o
ClaudeAnthropic
DeepSeekReasoning
MistralCodestral
NVIDIA NIMGPU Cloud
OllamaModel lokal
SymPyCAS lokal
Stack dan toolingBisa self-host
Next.jsApp Router
FastAPIPython backend
Three.jsKanvas 3D
KaTeXNotasi math
PythonCFL engine
DockerSelf-host
Satu endpoint, satu guardrail, banyak model. Ganti penyedia tanpa mengubah alur belajar.
Jawaban yang tidak
membocorkan jawaban.
Hal-hal yang paling sering ditanyakan sebelum mulai belajar dengan ZAP.
ZAP memisahkan kebenaran matematika dari bahasa. Pemeriksaan langkah dilakukan mesin simbolik deterministik SymPy CAS, sedangkan model bahasa hanya menyusun pertanyaan yang membimbing. Jawaban akhir tidak pernah diberikan.
Jawaban terbaik adalah
yang kamu temukan sendiri.
Tanpa kartu kredit, tanpa instalasi. Tulis soalnya, biarkan mesin yang menilai.
Gratis untuk mulai Bisa tanpa API key Data tetap di peramban