Engineering dossier — for technical reviewMühendislik dosyası — teknik inceleme için
A shipping product.
Real code, real tests, real proof.
Canlı bir ürün.
Gerçek kod, gerçek testler, gerçek kanıt.
A short technical summary of GAIA, a family of air-gapped developer security tools currently in the field. Every claim below is backed by a test, a trace, or a recording — not a pitch. (Looking for Artemis, our retail POS product? See it here →)
Şu anda sahada çalışan GAIA — çevrimdışı geliştirici güvenlik araç ailesi — hakkında kısa bir teknik özet. Aşağıdaki her iddianın bir test, bir izleme kaydı veya bir kayıt görüntüsü karşılığı var — pazarlama değil. (Artemis'i mi arıyorsun, perakende POS ürünümüz? Buradan gör →)
Product 02Ürün 02
GAIA — Air-Gapped Developer Security ToolsGAIA — Çevrimdışı Geliştirici Güvenlik Araçları
Three shipping CLI tools, one architecture: nothing they scan ever leaves the machine
Üç canlı CLI aracı, tek mimari: taradıkları hiçbir şey makineden çıkmaz
GAIA's decision logic — risk scoring, ROI, drift matching — runs in an Ada/SPARK core,
not Rust or a script. SPARK is a formally-verifiable subset of Ada used in avionics and rail
signalling; the scoring logic here carries the same proof discipline, not just a claim of
correctness. The Rust layer only parses files and walks directories. No tool makes a network
call — this is asserted with strace -f -e trace=network, not left as a README promise.
GAIA'nın karar mantığı — risk skoru, ROI, drift eşleştirme — Rust'ta veya bir script'te değil,
bir Ada/SPARK çekirdeğinde çalışır. SPARK, havacılık ve demiryolu sinyalizasyonunda
kullanılan, biçimsel olarak doğrulanabilir bir Ada alt kümesidir; buradaki skorlama mantığı da
aynı kanıt disiplinini taşır, sadece bir doğruluk iddiası değil. Rust katmanı sadece dosya
ayrıştırır ve dizin gezer. Hiçbir araç ağ çağrısı yapmaz — bu strace -f -e trace=network
ile kanıtlanır, bir README vaadi olarak bırakılmaz.
GAIA $19 / $49
Finds hardcoded secrets and credentials in a codebase. Single 2.98 MB binary, zero dependencies.
Kod tabanında hardcode edilmiş secret/kimlik bilgisi bulur. Tek 2.98 MB binary, sıfır bağımlılık.
Drift-Gate $19 / $49
Flags deprecated Stripe / PayPal / Twilio / AWS / OpenAI calls before they break production, against a curated offline rule set.
Stripe/PayPal/Twilio/AWS/OpenAI'daki kullanımdan kaldırılmış çağrıları, küratörlü çevrimdışı bir kural setine göre, prod kırılmadan önce işaretler.
Scrub $19 / $49
Redacts PII and secrets from logs and dumps before they're shared — Luhn/TCKN-validated, with a deterministic hash mode that preserves relationships across records.
Log/dump'lardaki PII ve secret'ları paylaşılmadan önce redakte eder — Luhn/TCKN doğrulamalı, kayıtlar arası ilişkiyi koruyan deterministik hash modu ile.
Licensing & distributionLisanslama & dağıtım
- Ed25519 offline signature verification — no license server, no phone-home, works air-gapped.
- Çevrimdışı Ed25519 imza doğrulaması — lisans sunucusu yok, phone-home yok, air-gapped çalışır.
- Commerce via Lemon Squeezy; fulfillment mints and emails the key automatically on purchase.
- Ticaret Lemon Squeezy üzerinden; satın alımda anahtar otomatik üretilip mail'lenir.
- CLI output defaults to English for global distribution (
GAIA_LANG=trfor Turkish). - CLI çıktısı küresel dağıtım için varsayılan olarak İngilizce'dir (
GAIA_LANG=trile Türkçe).
Recorded, unedited terminal sessionKayıtlı, kurgusuz terminal oturumu
Real scan against a sample repo with real-looking leaked credentials — trial limit, then a license unlock, then the full report. Nothing staged off-screen.
Gerçekçi sızmış kimlik bilgileri içeren örnek bir repo üzerinde gerçek tarama — deneme sınırı, sonra lisans açma, sonra tam rapor. Ekran dışında kurgulanmış hiçbir şey yok.