Comparison
AstraNL local proof NL vs rea
rea has more GitHub stars (288,843 vs 0). rea was updated more recently (last commit 2d ago). Data comes straight from GitHub and refreshes daily.
AstraNL local proof NL
Verify a place in the Netherlands: a verified local hand checks it, you get a sealed receipt.
$
claude mcp add --transport http astranl-local-proof-nl https://astranl.com/mcp/streamable?profile=localproof
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 | AstraNL local proof NL | 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 | 2d ago |
| Created | n/a | Apr 2026 |
| Categories | n/a | AI & LLM tooling, Memory & knowledge |