Last released Mar 26, 2026
MCP server for Scala 3 (Dotty) compiler development
Last released Mar 10, 2026
MCP server for checking Lean 4 files and providing formatted diagnostics
Last released Aug 23, 2021
Managing ML experiment configuation with joy.
Last released Jan 3, 2021
Python CoordML Runner
Last released Dec 2, 2020
CLI for CoordML Central
Supported by
