{"name":"io.github.meob/euclid-mcp","slug":"meob-euclid-mcp","title":"Euclid-MCP","description":"Deterministic logical reasoning engine — facts in Euclid IR, solutions with proof trees","url":"https://mcp.market/server/meob-euclid-mcp","rating":null,"grade":"A","score":94,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":34,"stars":6,"forks":0,"downloads_week":134,"last_push_at":"2026-09-19T07:30:42.000Z","license":"Apache-2.0"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/meob/Euclid-MCP","website":null,"version":"0.4.5","remotes":[],"packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"euclid-mcp","version":"0.4.5","runtimeHint":"uvx","transport":{"type":"stdio"}}],"tools":[{"name":"check_kb","description":"Check a knowledge base for consistency:","write_action":false,"price_micros":0,"input_schema":null},{"name":"diagnose","description":"Diagnose why a query succeeds or fails.","write_action":false,"price_micros":0,"input_schema":null},{"name":"explain","description":"Explain, in natural language, how a query is proven:","write_action":false,"price_micros":0,"input_schema":null},{"name":"list_kbs","description":"List the registered named knowledge bases","write_action":false,"price_micros":0,"input_schema":null},{"name":"reason","description":"Perform logical deduction on a knowledge base","write_action":false,"price_micros":0,"input_schema":null},{"name":"register_kb","description":"Register a named knowledge base under a kb_id","write_action":false,"price_micros":0,"input_schema":null},{"name":"unregister_kb","description":"Remove a named knowledge base from the registry.","write_action":true,"price_micros":0,"input_schema":null},{"name":"what_if","description":"What-if analysis: apply modifications to a knowledge base","write_action":false,"price_micros":0,"input_schema":null}],"scan":{"score":94,"grade":"A","scanned_at":"2026-09-21T22:09:55.944Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-21T22:09:55.895Z","components":{"code":{"score":25,"max":25,"notes":["20 source files 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 3 days ago"]},"identity":{"score":9,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[],"inputs":{"packages":[{"registryType":"pypi","identifier":"euclid-mcp","version":"0.4.5","found":true,"weeklyDownloads":134,"license":"Apache-2.0","dependencyCount":10,"publishedAt":"2026-08-21T23:18:13.823644Z"}],"repo":{"found":true,"owner":"meob","repo":"Euclid-MCP","archived":false,"pushedAt":"2026-09-19T07:30:42Z","stars":6,"forks":0,"openIssues":4,"ownerType":"Organization","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/317635567?v=4","ownerCreatedAt":"2013-10-14T16:21:39Z","license":"Apache-2.0"},"icon":{"url":null,"source":"none"},"presence":{"stars":6,"forks":0,"downloadsWeek":134,"license":"Apache-2.0","lastPushAt":"2026-09-19T07:30:42.000Z","score":34}}}},"grade_history":[],"reviews":[]}