epfl-lara/LeanProbe

SkillsMP hat 1 Skills aus epfl-lara/LeanProbe gesammelt. Öffne einen Skill, um Quelle und Details zu prüfen.

epfl-lara-Profil Auf GitHub ansehen

Letzte erfasste Quellaktivität: 26. Juni 2026 um 17:48

SkillsMP-Katalog aktualisiert: 5. September 2026 um 10:37

gesammelte Skills: 1

GitHub-Stars: 4
GitHub-Forks: 0

Skills in diesem Repository

Softwareentwickler

1 Berufskategorien · 100% klassifiziert

Skill

Beruf

Beschreibung

Aktualisiert

lean-probe

Softwareentwickler

Fast Lean 4 proof verification for coding agents via the LeanProbe MCP server's warm REPL. Use when you need to know whether Lean 4 code compiles (no errors, no `sorry`), iterate on a declaration inside a Lake/Mathlib project, test a replacement proof…

Quellsprache: Englisch

2026-06-26

Es werden 1 von 1 gesammelten Skills angezeigt.