Depo ayrıntısı
yogthos/chiasmus
Chiasmus is an MCP server that gives language models access to formal verification
TypeScript Apache-2.0 08 Nisan 2026 son push 18 Ekim 2026 12 fork
Yıldız
218+8 · 62 gün
Commit · 28g
71
son 28 günde
Yazar · 28g
3
farklı katkıcı
Detaylı değerlendirme
Bu repo için detaylı değerlendirme henüz yapılmadı. Analiz, Ayarlar'daki uyum profilini hesaba katarak "bu işime yarar mı" sorusunu cevaplıyor. Bir kez çalışır; günlük koşular buna dokunmaz. Saatlik sınır var — bir kaynaktan en fazla 3 analiz.