Skillget

Kesfet Repo Paylas GitHub ile Giris

TR - Turkce
EN - English

Kesfet

Repo, owner veya aciklama ara Tur Kategori Dil Sirala Sadece dogrulanmis

Filtreleri sifirla

1 sonuc

oOo0oOo/lean-lsp-mcp

Lean Theorem Prover MCP

Sahibi: oOo0oOo Dil: Python Yildiz: 349 Puan: 0.0

Son senkron: 8 Nis 2026 GitHub: 8 Nis 2026

Skillget

AI skill, agent ve MCP server'lari kesfet, degerlendir ve kur.

Kesfet Dokumantasyon Iletisim

© 2026 Skillget. Tum haklari saklidir.