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.
Cross-referenced across 55 tracked directories
#52204
Popularity Rank
1 / 55
Listed In
Emerging
Adoption Stage
9/23/2026
Created
8
GitHub Stars
1
Forks
10/27/2026
Last Commit
Recently added to the ecosystem
awkoy
**Notion MCP Server** is a Model Context Protocol (MCP) server implementation that enables AI assistants to interact with Notion's API. This production-ready server provides a complete set of tools.
...moreValidate HTML and CSS, audit SEO and JSON-LD, and check user-authorized public links.
https://github.com/hifriendbot/agentwallet-mcp