{"name":"io.github.sandraschi/leanforge-mcp","slug":"sandraschi-leanforge-mcp","title":null,"description":"Lean 4 theorem prover MCP: automated proof search, mathlib integration, job management","url":"https://mcp.market/server/sandraschi-leanforge-mcp","rating":null,"grade":"A","score":88,"certified":false,"status":"active","category":"search","tags":["search"],"presence":{"score":21,"stars":3,"forks":0,"downloads_week":null,"last_push_at":"2026-10-24T02:35:42.000Z","license":"MIT"},"uptime":null,"claimed":false,"transport":"mcpb","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/sandraschi/leanforge-mcp","website":null,"version":"0.1.1","remotes":[],"packages":[{"registryType":"mcpb","identifier":"https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.1/leanforge-mcp-v0.1.1.mcpb","fileSha256":"b7756ae11418bbe271eedb194c3091c943f8198418047210f7e30258750d7e06","transport":{"type":"stdio"}}],"tools":[],"scan":{"score":88,"grade":"A","scanned_at":"2026-10-30T18:16:30.841Z","report":{"scannerVersion":"0.1.10","scannedAt":"2026-10-30T18:16:30.736Z","components":{"code":{"score":-1,"max":25,"notes":["package could not be scanned"]},"reliability":{"score":-1,"max":20,"notes":["no gateway calls yet and no remote to probe"]},"poisoning":{"score":-1,"max":15,"notes":["tools not inspected (local package is not executed); not counted"]},"auth":{"score":12,"max":15,"notes":["local package, no credentials required"]},"maintenance":{"score":15,"max":15,"notes":["last push 7 days ago"]},"identity":{"score":8,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[],"inputs":{"packages":[],"repo":{"found":true,"owner":"sandraschi","repo":"leanforge-mcp","archived":false,"pushedAt":"2026-10-24T02:35:42Z","stars":3,"forks":0,"openIssues":0,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/34750307?v=4","ownerCreatedAt":"2017-12-21T17:57:54Z","license":"MIT"},"icon":{"url":"https://avatars.githubusercontent.com/u/34750307?v=4&s=128","source":"registry"},"presence":{"stars":3,"forks":0,"downloadsWeek":null,"license":"MIT","lastPushAt":"2026-10-24T02:35:42.000Z","score":21}}}},"grade_history":[],"reviews":[]}