{"name":"io.github.vince-gonzalez/gonzalgo","slug":"vince-gonzalez-gonzalgo","title":"gonzalgo","description":"Reports what a checked Lean 4 or Metamath proof rests on: inherited sorry, compiler trust, axioms.","url":"https://mcp.market/server/vince-gonzalez-gonzalgo","rating":null,"grade":"A","score":89,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":32,"stars":2,"forks":0,"downloads_week":61,"last_push_at":"2026-09-11T05:43:45.000Z","license":"Apache-2.0"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/vince-gonzalez/gonzalgo","website":"https://f-keys.com/gonzalgo/","version":"0.5.6","remotes":[],"packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"gonzalgo","version":"0.5.6","runtimeHint":"uvx","transport":{"type":"stdio"},"runtimeArguments":[{"description":"The MCP server lives behind an optional dependency so the analysis tools stay dependency-light for CLI-only users.","isRequired":true,"value":"gonzalgo[mcp]","type":"named","name":"--from"}],"packageArguments":[{"description":"Starts the stdio server. Without it the binary runs the analysis CLI.","isRequired":true,"value":"mcp","type":"positional"}]}],"tools":[{"name":"audit_trust","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"axiom_reach","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"check_dump","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"how_to_extract","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"impact","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"kernel_index","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"metamath_audit","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"scope","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"why","description":"","write_action":false,"price_micros":0,"input_schema":null},{"name":"write_lean_extractors","description":"","write_action":true,"price_micros":0,"input_schema":null}],"scan":{"score":89,"grade":"A","scanned_at":"2026-09-19T20:16:06.485Z","report":{"scannerVersion":"0.1.5","scannedAt":"2026-09-19T20:16:06.430Z","components":{"code":{"score":25,"max":25,"notes":["10 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 9 days ago"]},"identity":{"score":6,"max":10,"notes":["registry namespace matches repository owner"]}},"findings":[],"inputs":{"packages":[{"registryType":"pypi","identifier":"gonzalgo","version":"0.5.6","found":true,"weeklyDownloads":61,"license":"Apache-2.0","dependencyCount":3,"publishedAt":"2026-09-11T05:45:46.629329Z","repositoryUrl":"https://github.com/vince-gonzalez/gonzalgo"}],"repo":{"found":true,"owner":"vince-gonzalez","repo":"gonzalgo","archived":false,"pushedAt":"2026-09-11T05:43:45Z","stars":2,"forks":0,"openIssues":0,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/313483756?v=4","ownerCreatedAt":"2026-08-05T15:30:46Z","license":"Apache-2.0"},"icon":{"url":"https://f-keys.com/favicon.ico","source":"registry","width":48,"height":48},"presence":{"stars":2,"forks":0,"downloadsWeek":61,"license":"Apache-2.0","lastPushAt":"2026-09-11T05:43:45.000Z","score":32}}}},"grade_history":[],"reviews":[]}