{"name":"io.github.rikarazome/prolog-reasoner","slug":"rikarazome-prolog-reasoner","title":"Prolog Reasoner","description":"SWI-Prolog as a logic calculator for LLMs","url":"https://mcp.market/server/rikarazome-prolog-reasoner","rating":null,"grade":"B","score":82,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":16,"stars":11,"forks":1,"downloads_week":null,"last_push_at":"2026-05-01T20:51:37.000Z","license":"MIT"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/rikarazome/prolog-reasoner","website":null,"version":"0.2.1","remotes":[],"packages":[{"registryType":"pypi","identifier":"prolog-reasoner","version":"0.2.1","runtimeHint":"uvx","transport":{"type":"stdio"}}],"tools":[{"name":"delete_rule_base","description":"Delete a saved rule base by name.","write_action":true,"price_micros":0,"input_schema":null},{"name":"execute_prolog","description":"Execute Prolog code and return reasoning results.","write_action":true,"price_micros":0,"input_schema":null},{"name":"get_rule_base","description":"Retrieve the Prolog source of a saved rule base.","write_action":false,"price_micros":0,"input_schema":null},{"name":"list_rule_bases","description":"List all saved rule bases with description and tags.","write_action":false,"price_micros":0,"input_schema":null},{"name":"save_rule_base","description":"Save a named rule base containing Prolog rules that can be reused across ``execute_prolog`` calls.","write_action":false,"price_micros":0,"input_schema":null}],"scan":{"score":82,"grade":"B","scanned_at":"2026-09-27T22:33:23.865Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-27T22:33:23.881Z","components":{"code":{"score":25,"max":25,"notes":["14 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":8,"max":15,"notes":["last push 149 days ago"]},"identity":{"score":8,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[],"inputs":{"packages":[{"registryType":"pypi","identifier":"prolog-reasoner","version":"0.2.1","found":true,"license":"MIT","dependencyCount":11,"publishedAt":"2026-04-17T20:12:15.252377Z","repositoryUrl":"https://github.com/rikarazome/prolog-reasoner"}],"repo":{"found":true,"owner":"rikarazome","repo":"prolog-reasoner","archived":false,"pushedAt":"2026-05-01T20:51:37Z","stars":11,"forks":1,"openIssues":0,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/179564340?v=4","ownerCreatedAt":"2024-08-27T06:18:10Z","license":"MIT"},"icon":{"url":"https://avatars.githubusercontent.com/u/179564340?v=4&s=128","source":"github"},"presence":{"stars":11,"forks":1,"downloadsWeek":null,"license":"MIT","lastPushAt":"2026-05-01T20:51:37.000Z","score":16}}}},"grade_history":[],"reviews":[]}