Muhakeme İçtihat sistem gereksinimleri
Muhakeme İçtihat’ı kurmadan önce işletim sisteminizi, yapay zekâ için donanımınızı ve ağ erişiminizi bu sayfadan denetleyebilirsiniz. Kurulum adımları kurulum rehberlerindedir.
Bu sayfada
İşletim sistemi ve kurulum paketi
Muhakeme İçtihat Windows ve macOS için ayrı kurulum paketiyle gelir. Tablolarda muhakeme.ai’den indirilen güncel paketin adı, boyutu ve sürümü yazılıdır.
| Özellik | Gereksinim |
|---|---|
| İşletim sistemi | Windows 10 ya da Windows 11, 64 bit (x64). Kurulum programı yalnız 64 bit (x64 uyumlu) Windows’a kurulur. |
| Kurulum dosyası | muhakeme-ictihat-kurulum.exe, ≈ 59 MB, sürüm 0.16.0. |
| Yönetici yetkisi | Gerekmez. Uygulama yalnız sizin kullanıcı hesabınız için kurulur. Varsayılan klasör |
| Kod imzası | Kurulum dosyası, iki uygulama dosyası ve kaldırıcı kod imzalıdır; imzalar zaman damgası taşır. İmzalı uygulama dosyaları |
| Ek program | Kurulum başka bir program kurmaz ve denetlemez. Yapay zekâ, kurulumdan sonra uygulamanın içinden ayarlanır. |
| Özellik | Gereksinim |
|---|---|
| İşlemci | Apple Silicon (M1 ve sonrası). Intel işlemcili Mac için paket yoktur. |
| İşletim sistemi | macOS 14 ya da sonrası. |
| Disk görüntüsü | muhakeme-ictihat-macos-arm64.dmg, ≈ 73 MB, sürüm 0.16.0. |
| Kurulum | Disk görüntüsünü açın ve uygulamayı Applications klasörüne sürükleyin. |
| İmza ve Apple onayı | Uygulama ve disk görüntüsü Apple Developer ID ile imzalıdır; Apple tarafından onaylanmıştır (notarize) ve onay kaydı pakete eklenmiştir (staple). |
| Özellik | Gereksinim |
|---|---|
| Hesap | muhakeme.ai hesabı. Uygulamaya e-postanıza gelen 6 haneli kodla giriş yaparsınız; hesabınız yoksa muhakeme.ai’de ücretsiz oluşturabilirsiniz. |
| Lisans | Uygulamayı kullanmak için hesabınızda geçerli bir deneme ya da abonelik gerekir. Deneme sona erdiğinde ya da hesabınızda ikisi de yoksa uygulama plan seçme ekranını açar. Koşullar için Deneme Koşulları ve Fiyatlandırma sayfalarına bakın. |
| İnternet | Gerekir. Karar ve mevzuat araması resmî UYAP Bedesten servisinden yapılır. Lisans, son başarılı doğrulamadan sonra 7 gün internetsiz geçerli sayılır. |
Yapay zekâ seçenekleri
Uygulamada yapay zekâ için şu yollar vardır. Karar Ara ve Mevzuat Ara’da arama için yerel model ya da API anahtarlı bağlantı gerekir. Yapay zekâ olmadan neyin çalıştığı Yapay zekâ olmadan neler çalışır bölümündedir.
| Yol | Ne gerekir |
|---|---|
| Yerel model | Bilgisayarınızda llama.cpp motoru, bir sohbet modeli ve bir gömme modeli. İlk kurulum sihirbazı bunları donanımınıza göre önerir, indirir ve dener. Donanım ayrıntısı Yerel model için donanım bölümündedir. |
| API anahtarlı bağlantı | Bir yapay zekâ sağlayıcısının API anahtarı (ör. OpenAI, Anthropic, Google Gemini). Ayarlar → Bağlantılar bölümündeki API anahtarıyla (kullandıkça ödeme) grubundan eklenir; anahtar yalnız bu bilgisayarda saklanır. Bu yolda yerel model gerekmez. |
| Aboneliğinizle | Bilgisayarınızda kurulu Claude Code, Codex ya da ZCode ve o programda açık bir oturum. Karar Ara ve Mevzuat Ara’da arama bu yolla yapılamaz; ayrıntı Aboneliğinizle yolu için gerekli programlar bölümündedir. |
| MCP | Claude Desktop, Codex CLI ya da Claude Code. Kurulum Ayarlar → MCP bölümünden yapılır; arama araçlarını o uygulamanın modeli, o uygulamanın aboneliğiyle çağırır. Bu yolda yerel model gerekmez. |
| Muhakeme hesabı | Muhakeme Dil Modeli henüz sunulmuyor. |
Yerel model için donanım
Yerel model bilgisayarınızın belleğini ve varsa ekran kartını kullanır. Uygulamanın kendisi için sabit bir bellek ya da disk rakamı tanımlı değildir. Uygun modeller donanımınıza göre belirlenir ve Ayarlar → Model → İndirilebilir modeller bölümünde dört kart olarak gösterilir.
| Ekran kartı | Motor |
|---|---|
| NVIDIA | Sürücünün ana sürümü 550 ya da daha yeniyse CUDA motoru; sürücü daha eskiyse ya da okunamıyorsa Vulkan motoru. Birden çok NVIDIA kartın belleği toplanır. |
| AMD ve Intel Arc | Vulkan motoru. Kartın belleği Windows üzerinden okunur. |
| Intel tümleşik grafik ya da tanınmayan kart | İşlemci (CPU) motoru; ilk kurulum sihirbazındaki Kişiselleştir ekranında Vulkan da seçilebilir. |
| Ekran kartı yok | İşlemci motoru. Yerel model yalnız işlemciyle de çalışır. |
| Mac (Apple Silicon) | Metal motoru. Ekran kartı belleği ayrıca sayılmaz; sistem belleğinden türetilir. |
| Konu | Kural |
|---|---|
| Kademeler | 8, 16, 24, 32, 48 ve 64 GB. |
| Ekran kartı belleği 8 GB ve üzerindeyse | Kademe ekran kartı belleğinden seçilir. |
| Ekran kartı yoksa ya da belleği 8 GB’ın altındaysa | Kademe sistem belleğinin (RAM) yarısından seçilir. |
| Mac (Apple Silicon) | Ekran kartı belleği sistem belleğinden türetilir: 64 GB’ın altında yüzde 66’sı, 64 GB ve üzerinde yüzde 75’i. |
| Seçim | Kademeler büyükten küçüğe denenir. Hesaba giren bellek (ekran kartı belleği ya da RAM’in yarısı) kademeden en çok 1 GB eksikse de o kademe seçilir; ör. 15 GB, 16 GB kademesine girer. Hiçbiri tutmazsa kademe 8’dir. |
| Örnek: ekran kartı yok | 8 ve 16 GB RAM → 8; 32 GB → 16; 48 GB → 24; 64 GB → 32; 128 GB → 64. |
| Örnek: ekran kartıyla | 8 ve 12 GB ekran kartı belleği → 8; 16 GB → 16; 24 GB → 24; 48 GB → 48. |
| Örnek: Mac | 16 GB → 8; 24 ve 32 GB → 16; 36 GB → 24; 48 GB → 32; 64 GB → 48; 96 ve 128 GB → 64. |
| Kademe | Model kartları |
|---|---|
| 8 GB kademesi |
|
| 16 GB kademesi |
|
| 24 GB kademesi |
|
| 32 GB kademesi |
|
| 48 GB kademesi |
|
| 64 GB kademesi |
|
Kartların uygulamadaki başlıkları: “En az · en küçük”, “Hızlı · günlük kullanım”, “Normal · denge”, “Derin · en yetenekli”. “En az” kartı o kademedeki en küçük modeldir; bir donanım alt sınırı anlatmaz. “Derin” kademedeki en büyük modeldir; daha büyük model yanıtın doğru olduğunu güvence altına almaz. Aynı model farklı bilgisayarda farklı kartta görünebilir.
| Model | Dosya boyutu |
|---|---|
| Gemma 4 E2B (QAT) | 2,4 GB |
| Gemma 4 E4B (QAT) | 3,9 GB |
| Gemma 4 12B (QAT) | 6,3 GB |
| Gemma 4 26B-A4B (QAT, MoE) | 13,3 GB |
| Qwen 3.8 27B (Q4_K_M) | 15,3 GB |
| Gemma 4 31B (QAT) | 16,1 GB |
| Qwen 3.8 27B (Q6_K) | 20,5 GB |
| Qwen 3.8 27B (Q8_0) | 27,1 GB |
Boyutlar uygulamanın gösterdiği biçimdedir. Her modelin isteğe bağlı bir görsel okuma dosyası vardır; bu dosya ayrıca indirilir. Modellerin lisansı Apache 2.0’dır. Gömme modeli olarak Qwen3-Embedding 0.6B önerilir; bge-m3 ve Qwen3-Embedding 4B de seçilebilir.
| Motor ve model | Toplam indirme |
|---|---|
| İşlemci motoru ve Gemma 4 E2B (QAT) | 3,1 GB |
| İşlemci motoru ve Gemma 4 E4B (QAT) | 4,5 GB |
| İşlemci motoru ve Gemma 4 26B-A4B (QAT, MoE) | 13,9 GB |
| Metal (Mac) ve Gemma 4 E4B (QAT) | 4,5 GB |
| Vulkan ve Gemma 4 12B (QAT) | 6,9 GB |
| CUDA ve Qwen 3.8 27B (Q6_K) | 21,7 GB |
| CUDA ve Qwen 3.8 27B (Q8_0) | 28,2 GB |
Toplama motor, sohbet modeli ve önerilen gömme modeli (Qwen3-Embedding 0.6B) dahildir; görsel okuma dosyası dahil değildir. İndirmeden önce hedef diskte yeterli boş alan olup olmadığı denetlenir; bu denetim bir miktar pay ekler.
| Rozet ve öneri | Anlamı |
|---|---|
| Sığmaz | Model dosyası, bağlam belleği ve dosya boyutuyla orantılı bir emniyet payı (dosyanın dörtte biri, 0,5 ile 1 GB arasında; 5 GB ve üstü modelde 1 GB), boş bellek ile ekran kartının kullanılabilir belleğinin toplamını aşıyor. Kart gizlenmez, bu rozetle işaretlenir. |
| Rahat çalışır | Model tamamen ekran kartı belleğinde çalışır. |
| Yavaş çalışır | Model açılır ama ekran kartı belleğine tamamen sığmaz; bir bölümü işlemcide çalışır ve yanıtlar yavaşlar. |
| Önerilen | Ekran kartı belleği 8 GB ve üzerindeyse “Sığmaz” olmayan kartların en büyüğüne verilir; “Yavaş çalışır” durumundaki bir karta da gidebilir. Ekran kartı yoksa ya da belleği 8 GB’ın altındaysa rozet, sihirbazın sistem belleği kuralındaki ilk sığan modele gider: sihirbaz ile kartlar aynı modeli önerir. |
| Rozetler ne zaman değişir | Rozetler o anki boş belleğe göre hesaplanır; aynı bilgisayarda açılıştan açılışa değişebilir. |
| İlk kurulum sihirbazının önerisi | Ekran kartı belleği 8 GB ve üzerindeyse kartlardaki “Önerilen” model önerilir. Ekran kartı yoksa ya da belleği 8 GB’ın altındaysa sihirbaz sistem belleğine bakar: 24 GB ve üzeri Gemma 4 26B-A4B (QAT, MoE), 8 GB ve üzeri Gemma 4 E4B (QAT), daha azı Gemma 4 E2B (QAT) ve “Bellek az; yanıtlar yavaş gelebilir.” uyarısı. Sınıfın modeli o anki boş belleğe sığmıyorsa bir küçüğü önerilir ve nedeni yazılır; kartlardaki “Önerilen” rozeti bu bilgisayarlarda aynı kuralı izler. |
Yapay zekâ olmadan neler çalışır
Yerel model ya da yapay zekâ bağlantısı kurmadan da uygulamanın bir bölümü çalışır. Aşağıdaki tablo, yerel model ya da API anahtarlı bağlantı yokken neyin çalıştığını gösterir. Tablodaki MCP ve Aboneliğinizle bağlantı satırları, yalnız bu yollardan birini kullandığınız durumu anlatır.
| Özellik | Durum |
|---|---|
| Karar Ara ve Mevzuat Ara’da soru | Çalışmaz. Soru, arama yapılmadan “Bilgisayarda kullanılabilir GGUF model bulunamadı. Model klasörünüzü ekleyin.” iletisiyle sonuçlanır; liste boş kalır. Arama için yerel model ya da API anahtarlı bağlantı gerekir. |
| Açılış ekranları | Çalışır: son kararlar, son Resmî Gazete sayıları ve güncel gelişmeler. Karar kartlarında yapay zekâ özeti yerine “Karar metninden alıntı” gösterilir. |
| Kararın tam metni ve vurgu | Çalışır. Açılış kartından kararın tam metni modelsiz açılır; önizlemedeki vurgu karar metninden kurallarla çıkarılır. |
| Kütüphane | Çalışır: kaydettiğiniz belgeleri listeleme, Kütüphane’de tam metin arama ve belgeyi açma. |
| Dışa aktarma | Çalışır: Word, UDF ve PDF. |
| MCP | MCP ile bağlandığınız uygulama arama araçlarını kendi modeliyle çağırır; bu yolda bilgisayarınızda yerel model gerekmez. |
| Aboneliğinizle bağlantı | Sohbet ve belge soruları bu yolla yanıtlanır; ama Karar Ara ve Mevzuat Ara’da model arama aracı çağıramaz. Özet ve kesit için çalışan bir yerel model gerekir. |
Uygulama penceresi ve tarayıcı
Uygulamanın arayüzü, bilgisayarınızda kurulu bir tarayıcının ayrı bir uygulama penceresinde açılır. Pencere, tarayıcının uygulamaya ayrılmış bir profiliyle açılır; bu profil uygulamanın veri klasöründedir.
| Konu | Açıklama |
|---|---|
| Windows | Microsoft Edge ya da Google Chrome, bu sırayla. Yalnız C:\Program Files ve C:\Program Files (x86) altındaki kurulumlar aranır. Kullanıcı klasörüne kurulan Chrome (%LOCALAPPDATA%\Google\Chrome), Brave ve Chromium Windows’ta aranmaz. |
| macOS | Google Chrome, Microsoft Edge, Brave Browser ya da Chromium, bu sırayla; önce /Applications, sonra ~/Applications klasörüne bakılır. Arc aranmaz. |
| Hiçbiri bulunamazsa | Arayüz varsayılan tarayıcınızın normal sekmesinde açılır (ör. macOS’ta Safari). |
| MCP paneli | MCP bağlantısında açılan panel de aynı tarayıcılarla, ayrı bir tarayıcı profiliyle açılır. |
| Yerel sunucu | Uygulama yalnız bu bilgisayarın 127.0.0.1 adresinde yerel bir sunucu açar; 8765 numaralı porttan başlayarak ilk boş port kullanılır. |
Ağ erişimi
Aşağıdaki işlemler için bilgisayarınızın bu adreslere erişebilmesi gerekir. Her işlemde hangi verinin gittiği Veri akışı sayfasında yazılıdır.
| İşlem | Adres |
|---|---|
| Karar ve mevzuat | bedesten.adalet.gov.tr (resmî UYAP Bedesten servisi): arama, belge açma, künye denetimi, emsal taraması ve Karar Ara açılış ekranı. |
| Hesap, lisans ve sürüm | www.muhakeme.ai: giriş, lisans ve deneme durumu, sözleşme kabulü, sürüm denetimi ve güncelleme indirme isteği; oturum açıkken Muhakeme Dil Modeli’nin durum sorusu; gizlilik tercihinizin eşitlenmesi ve açarsanız deneyim verisi. |
| Güncelleme paketi | Cloudflare R2 dosya deposu: *.r2.cloudflarestorage.com ve *.r2.dev. |
| Motor ve model indirme | github.com (llama.cpp motoru) ve huggingface.co (modeller). İndirme bu hizmetlerin dosya sunucularına yönlenebilir: release-assets.githubusercontent.com, objects.githubusercontent.com, hf.co, *.hf.co, cdn-lfs*.huggingface.co. |
| Mevzuat Ara açılış ekranı | www.resmigazete.gov.tr |
| Araştır: Güncel gelişmeler | www.hsk.gov.tr, www.anayasa.gov.tr, www.kvkk.gov.tr, www.nist.gov, digital-strategy.ec.europa.eu, www.gov.uk, wp.oecd.ai. Yalnız seçili sekmenin kaynakları istenir. |
| Araştır: web araması | html.duckduckgo.com ve bulunan sayfaların siteleri. |
| API anahtarlı bağlantı | Bağlantıyı kurduğunuz sağlayıcının adresi (ör. api.openai.com, api.anthropic.com, generativelanguage.googleapis.com). Kayıtlı anahtar yalnız bağlantının kendi adresine ya da sağlayıcının tanımlı adresine gönderilir. |
| Aboneliğinizle bağlantı | Bilgisayarınızdaki program kendi sağlayıcısına sizin hesabınızla bağlanır: Claude Code Anthropic’e, Codex OpenAI’ye, ZCode Z.AI’ye. |
| MCP | MCP süreci yalnız bedesten.adalet.gov.tr adresine ve lisans denetimi için www.muhakeme.ai adresine bağlanır. İçerik, bağlandığınız uygulamanın sağlayıcısına o uygulama üzerinden gider. |
| Arayüz | Dış kaynak yüklemez; yazı tipleri ve arayüz dosyaları uygulamayla birlikte gelir. |
Aboneliğinizle yolu için gerekli programlar
Ayarlar → Bağlantılar bölümündeki Aboneliğinizle grubu, bilgisayarınızda kurulu komut satırı programını kendi hesabınızla çalıştırır. Uygulama bu programları kurmaz ve sizin yerinize giriş yapmaz. Kimlik bilgilerinizi (token) okumaz ve saklamaz.
| Program ya da konu | Koşul |
|---|---|
| Claude Code | Kurulu olmalı ve claude auth login ile kendi hesabınızda oturum açılmış olmalı. |
| Codex | Kurulu olmalı ve codex login ile oturum açılmış olmalı (tarayıcısız giriş: codex login --device-auth). Kart “deneysel” rozeti taşır. |
| ZCode | Kurulu olmalı ve zcode login ile oturum açılmış olmalı. Node.js PATH’te bulunmalı; ZCode masaüstü uygulaması bir kez açılıp kapatılmış olmalı. Kart “deneysel” rozeti taşır. |
| Sürüm | Programın sürümü eskiyse kart “sürüm eski” rozetini ve gereken en düşük sürümü gösterir; eski sürümde bağlantı kapalıdır. |
| Oturum | Kart oturum durumunu programın kendi komutuyla okur. Giriş komutunu kartın Konsolu aç düğmesiyle açılan konsolda ya da kendi terminalinizde siz çalıştırırsınız; sonra Durumu yenile düğmesine basın. |
| Karar Ara ve Mevzuat Ara | Bu programlar seçiliyken model arama aracı çağıramaz. Karar ve mevzuat araması için yerel model ya da API anahtarlı bağlantı seçin. |
| Özet ve kesit | Bu programlara gitmez; çalışan bir yerel modelde üretilir, yerel model yoksa üretilmez. |
| Görsel | Yalnız Codex görsel okur; Claude Code ve ZCode okumaz. |
| Kullanım | Her istek, Test et denemesi dahil, programdaki aboneliğinizden düşer. |
Kurulumda ya da ilk açılışta bir sorunla karşılaşırsanız sorun giderme sayfasına bakın. Cihazınızdan hangi verinin çıktığı veri akışı sayfasında yazılıdır.
Muhakeme, Anthropic, OpenAI ve Z.AI ile bağlantılı değildir. Google gibi API sağlayıcılarıyla da bağlantılı değildir.