{"name":"com.axiomatic-ai/prover","slug":"axiomatic-ai-prover","title":null,"description":"Lean 4 MCP server: compile, prove theorems, and formalize math with Mathlib.","url":"https://mcp.market/server/axiomatic-ai-prover","rating":null,"grade":"B","score":80,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":8,"stars":0,"forks":0,"downloads_week":null,"last_push_at":"2026-03-01T21:28:56.000Z","license":null},"uptime":{"percent":100,"checks":28,"ok":28,"last_checked_at":"2026-11-04T12:20:46.725Z","last_ok_at":"2026-11-04T12:20:46.725Z","latency_ms":153},"claimed":false,"transport":"remote","callable_via_gateway":true,"default_price_micros":0,"repository":"https://github.com/Axiomatic-AI/ax-prover-base-mcp","website":null,"version":"0.1.0","remotes":[{"type":"streamable-http","url":"https://prover.axiomatic-ai.com/mcp/"}],"packages":[],"tools":[],"scan":{"score":80,"grade":"B","scanned_at":"2026-09-28T06:10:03.491Z","report":{"scannerVersion":"0.1.10","scannedAt":"2026-09-28T06:10:03.470Z","components":{"code":{"score":-1,"max":25,"notes":["remote-only server, no package to scan"]},"reliability":{"score":20,"max":20,"notes":["remote reachable in 158ms (auth required)"]},"poisoning":{"score":-1,"max":15,"notes":["tools not inspected (endpoint requires auth); not counted"]},"auth":{"score":15,"max":15,"notes":["OAuth resource metadata advertised on 401"]},"maintenance":{"score":4,"max":15,"notes":["last push 210 days ago"]},"identity":{"score":9,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[],"inputs":{"probes":[{"url":"https://prover.axiomatic-ai.com/mcp/","reachable":true,"authRequired":true,"latencyMs":158,"authScheme":"oauth"}],"packages":[],"repo":{"found":true,"owner":"Axiomatic-AI","repo":"ax-prover-base-mcp","archived":false,"pushedAt":"2026-03-01T21:28:56Z","stars":0,"forks":0,"openIssues":1,"ownerType":"Organization","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/60703047?v=4","ownerCreatedAt":"2020-02-05T14:46:39Z"},"icon":{"url":"https://prover.axiomatic-ai.com/favicon.svg","source":"site"},"presence":{"stars":0,"forks":0,"downloadsWeek":null,"license":null,"lastPushAt":"2026-03-01T21:28:56.000Z","score":8}}}},"grade_history":[],"reviews":[]}