Tools
Alle Skills, MCP-Server, CLIs und Plugins des Verzeichnisses. Nach Typ, Beruf oder Tag filtern oder per Stichwort suchen.
Beruf: Teachers / Students
Einen oder mehrere wählen: Angezeigt werden Ressourcen, die zu einem davon passen.
Tags: ide-integration
Einen oder mehrere wählen: Angezeigt werden nur Ressourcen, die alle tragen.
2 Einträge
lean-lsp-mcp
MCPMCP server for the Lean 4 theorem prover: lets agents read proof goals, diagnostics and definitions and search theorems via LeanSearch and Loogle, helping mathematicians and students with formal proofs. Needs uv and the Lean toolchain; run it from the Lean project root.
oOo0oOo/lean-lsp-mcp530
Stata MCP
MCPConnects Stata to VS Code or Cursor and exposes a local MCP endpoint so Claude Code or Codex can write and run do-files and read regression output, with graphs shown in the editor; for empirical research. Needs a licensed Stata 17+, the extension installed and the editor open.
hanlulong/stata-mcp511