Depo ayrıntısı

michael-denyer/agent-formal-verify

TLA+ model checking and Lean proofs for coding agents, with explicit tool setup.

JavaScript GPL-3.0 01 Ekim 2026 son push 31 Ekim 2026 6 fork

agent agent-plugin agent-skills boris-cherny claude claude-code claude-plugin codex codex-plugin formal-verification lean opencode opencode-plugin pi skills tla verification verify

GitHub'da aç

Yıldız

35+20 · 17 gün

Commit · 28g

—

son 28 günde

Yazar · 28g

—

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.