MCP servers by keithadler

keithadler publishes 1 live MCP servers on GitHub. Listed by trust score; the score reflects each repository's own health, security checks, and documentation.

live servers

avg trust

most stars

Leanstudio

keithadler

A native desktop IDE for Lean 4 on macOS, Windows and Linux. Every proof re-checked by Tenet, an independent Lean 4 kernel. An MCP server for AI assistants, with Git and GitHub bu…

★ 3updated 3 days ago