LeanRigor MCP Server
Rank #39,328glama/badrabbitt/leanrigor
A local-first MCP gateway that reduces context overhead in coding-agent sessions by exposing only relevant tools and enforcing task-appropriate engineering gates, with privacy-first defaults and no network calls until explicitly enabled.
LeanRigor MCP Server is a Model Context Protocol (MCP) server published by badrabbitt. It ranks #39,328 of 132,046 servers tracked on MCP Toplist. LeanRigor MCP Server is listed on Glama, with 1 release tag tracked from its GitHub repository. It was first listed on Aug 17, 2026 and most recently updated on Aug 17, 2026.
Ranks ahead of 92,718 of 132,046 servers on MCP Toplist.
Use LeanRigor MCP Server
No credentials or required configuration declared — add it to your MCP client and go.
This server doesn't publish a machine-readable install config — see the repository README for install instructions.
Show your rank
Maintain this server? Add the live rank badge to your README — it updates automatically as the leaderboard changes.
[](https://mcptoplist.com/server/glama%2Fbadrabbitt%2Fleanrigor)<a href="https://mcptoplist.com/server/glama%2Fbadrabbitt%2Fleanrigor"><img src="https://mcptoplist.com/badge/glama%2Fbadrabbitt%2Fleanrigor.svg" alt="MCP Toplist: Top 50% of 132,046" /></a>Variants: append ?metric=score or ?metric=stars to the image URL.
Listed on 1 registry
badrabbitt
GitHub releases (1)
No registry surfaces explicit version metadata for this server. The list below shows release tags from the linked GitHub repository.
| Version | Published |
|---|---|
| v0.1.0 | Aug 17, 2026 |
Frequently asked questions
- Who maintains LeanRigor MCP Server?
- LeanRigor MCP Server is maintained by badrabbitt, which publishes 1 MCP server (1 total version) tracked on MCP Toplist.
- Is LeanRigor MCP Server listed on the Official MCP Registry?
- LeanRigor MCP Server is not on the Official MCP Registry. It is listed on Glama.
- How many versions does LeanRigor MCP Server have?
- No registry surfaces explicit version metadata for LeanRigor MCP Server; MCP Toplist tracks 1 release tag from its GitHub repository, most recently published on Aug 17, 2026.
- Where can I find the source code for LeanRigor MCP Server?
- The source code for LeanRigor MCP Server is hosted at github.com/badrabbitt/leanrigor.
Do you run this server?
Community projects list the MCP servers behind real agents and apps. Publish yours and this page will link to it.