TEMPLATE

Leanstudio (by keithadler)

👁 0

#mcp #claude-code #csharp #ai-assistant #cross-platform #avalonia

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 built in.

download →view source

RELATED TEMPLATES

TEMPLATE

Physiquinator (by kadato)

Cross-platform workout tracker built with .NET MAUI and Blazor Hybrid. Rest timer with Android floating overlay, AI assistant, analytics, and MCP server.

👁 24

TEMPLATE

Spanish Top Tech Companies (by pugarte7)

Las empresas tech que más pagan en España y un MCP para que tu agente de IA aplique por ti a sus ofertas. Best-paying tech companies in Spain, plus an MCP that auto-applies for you.

👁 13

TEMPLATE

Infernoflow (by ronmiz)

Persistent memory for AI coding sessions — captures what agents can't infer from code alone. Works with Copilot, Cursor, Claude, and Windsurf

👁 13

COMMENTS

No comments yet — be the first.