Comparison
Prover vs n8n
n8n has more GitHub stars (207,508 vs 0). n8n was updated more recently (last commit 3h ago). Data comes straight from GitHub and refreshes daily.
Prover
Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.
$
claude mcp add --transport http prover https://prover.axiomatic-ai.com/mcp/
n8n
Fair-code workflow automation platform with native AI capabilities. Combine visual building with custom code, self-host or cloud, 400+ integrations.
$
docker run -it --rm --name n8n -p 5678:5678 -v n8n_data:/home/node/.n8n docker.n8n.io/n8nio/n8n| Metric | Prover | n8n |
|---|---|---|
| Type | MCP server | MCP server |
| GitHub stars | 0 | 207,508 |
| Stars, last 7 days | n/a | n/a |
| Forks | 0 | 61,141 |
| Upvotes | 0 | 0 |
| Language | n/a | TypeScript |
| License | n/a | n/a |
| Last commit | n/a | 3h ago |
| Created | n/a | Jun 2019 |
| Categories | n/a | Data & analytics, Frameworks & SDKs |