LeanToken
io.github.morluto/leantoken
Token-bounded repository context for coding agents over MCP.
Description as published in the official MCP registry.
What we measured
| Endpoint | None listed (runs locally) | registry |
|---|---|---|
| GitHub stars | 24 | github.com/morluto/leantoken |
| Last push | 2026-09-28 | GitHub API |
| Licence | Apache-2.0 | GitHub API |
| Registry version | 0.1.28 · active · updated 2026-08-31 | registry |
| Package | cargo: leantoken | registry |
Signed reports
No signed reports yet. A report carries a signed decision record from the reporter's gate, so it shows a real call went through, not just an opinion. How to file one.
Related servers
- REA Reverse engineer anything from your terminal or agent with one CLI and MCP server.
- Jacobian Executable mathematics and independent verification for AI agents.
- Flameox Bounded local runtime evidence from explicit artifacts and typed direct targets.
- gitcontribute Local-first GitHub contribution research workbench
Badge for your README
Shows the result of our latest check and links back to this page.
[](https://openforallofus.com/tools/io.github.morluto/leantoken)Agents can read this page as data: MCP endpoint https://openforallofus.com/api/mcp, tool get_tool with name io.github.morluto/leantoken.