{"name":"io.github.sandraschi/leanforge-mcp","slug":"sandraschi-leanforge-mcp","title":null,"description":"MCP server for AI-driven formal proof search in Lean 4","url":"https://mcp.market/server/sandraschi-leanforge-mcp","rating":null,"grade":"A","score":88,"certified":false,"status":"active","category":"search","tags":["search"],"presence":{"score":18,"stars":1,"forks":0,"downloads_week":null,"last_push_at":"2026-09-14T20:40:29.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.0","remotes":[],"packages":[{"registryType":"mcpb","identifier":"https://github.com/sandraschi/leanforge-mcp/releases/download/v0.1.0/leanforge-mcp-v0.1.0.mcpb","fileSha256":"267c7214023a51328495d0dbd0354364dab7d91abb7b50595d0fb889ac78f00f","transport":{"type":"stdio"}}],"tools":[],"scan":{"score":88,"grade":"A","scanned_at":"2026-09-21T05:08:28.619Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-21T05:08:28.630Z","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 6 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-09-14T20:40:29Z","stars":1,"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":"github"},"presence":{"stars":1,"forks":0,"downloadsWeek":null,"license":"MIT","lastPushAt":"2026-09-14T20:40:29.000Z","score":18}}}},"grade_history":[],"reviews":[]}