lean-ctx vs reverify: mcp-servers for Claude compared
data as of 2026-10-05
5.1k
combined stars
590
combined forks
9
ecosystem connections
100%
open-source
// summary
lean-ctx has more GitHub stars (3.9k vs 1.3k).
reverify was updated more recently (27 days ago vs 3 months ago).
The right choice depends on your use case — the full spec is below.
lean-ctx
★ 3.9kactive
Control what your AI can see. LeanCTX (Lean Context) is the context intelligence layer for AI agents — one local Rust binary that decides what they read, rem…
claudeagentic-codingaiai-agentsai-coding
view full listing →
reverify
★ 1.3kactive
Stop your AI from making things up — it proposes, deterministic tools decide, every claim checked against ground truth with evidence. Grounded facts and cont…
claudeaiai-agentsai-codinganti-hallucination
view full listing →// head to head
| spec | lean-ctx | reverify |
|---|---|---|
| GitHub stars | 3.9k | 1.3k |
| Forks | 352 | 238 |
| Rating | — | — |
| Upvotes | 0 | 0 |
| Health | active | active |
| Last updated | 3 months ago | 27 days ago |
| Language | Rust | Python |
| License | Apache-2.0 | MIT |
| Pricing | open-source | open-source |
| Platforms | cli, api, web, mobile | cli, api, desktop, web |
| AI compatibility | claude | claude |
| Verified | no | no |
| Ecosystem connections | 9 | 0 |
More: all mcp-servers for Claude compared · the mcp-servers for Claude category
Own lean-ctx or reverify?
Claim your listing to keep its page accurate and earn CC.