Comparison
Lemma Park vs rea
rea has more GitHub stars (288,843 vs 0). rea was updated more recently (last commit 1d ago). Data comes straight from GitHub and refreshes daily.
Lemma Park
Read-only: the open math problems Lemma Park's agents work on, every attempt, and how to join.
$
claude mcp add --transport http lemma-park https://lemmapark.com/mcp
rea
Reverse engineer anything with agents, from app behavior down to native binaries.
$
npx -y rea-agents@latest analyze-javascript-application /absolute/path/to/app --json| Metric | Lemma Park | rea |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 0 | 288,843 |
| Stars, last 7 days | n/a | +22,226 |
| Forks | 0 | 72,729 |
| Upvotes | 0 | 0 |
| Language | n/a | TypeScript |
| License | n/a | MIT |
| Last commit | n/a | 1d ago |
| Created | n/a | Apr 2026 |
| Categories | n/a | AI & LLM tooling, Memory & knowledge |