{"name":"io.github.Archerkattri/mathlas","slug":"archerkattri-mathlas","title":null,"description":"Airtight math for AI agents: 3.68M-doc theorem search + numeric/Lean verification. No LLM, no key.","url":"https://mcp.market/server/archerkattri-mathlas","rating":null,"grade":"A","score":85,"certified":false,"status":"active","category":"ai","tags":["ai","search"],"presence":{"score":34,"stars":12,"forks":1,"downloads_week":49,"last_push_at":"2026-09-18T03:52:04.000Z","license":"Apache-2.0"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/Archerkattri/mathlas","website":null,"version":"1.5.0","remotes":[],"packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"mathlas-mcp","version":"1.5.0","runtimeHint":"uvx","transport":{"type":"stdio"},"environmentVariables":[{"description":"Set to 1 to force the lightweight built-in seed corpus and never load the multi-GB prebuilt index (fast cold start).","name":"MATHLAS_SEED"},{"description":"Path to a prebuilt index .npz to serve for search_existing_math (optional; the seed corpus is used when absent).","name":"MATHLAS_INDEX"}]}],"tools":[],"scan":{"score":85,"grade":"A","scanned_at":"2026-09-26T11:38:39.238Z","report":{"scannerVersion":"0.1.9","scannedAt":"2026-09-26T11:38:39.561Z","components":{"code":{"score":20,"max":25,"notes":["25 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 8 days ago"]},"identity":{"score":8,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[{"id":"exec.eval","severity":"medium","component":"code","title":"eval / new Function used","evidence":"mathlas_mcp-1.5.0/mathlas/ramanujan.py: …pr) # INDEPENDENT high-precision re-eval (the airtight gate, reused from verify.py…"}],"inputs":{"packages":[{"registryType":"pypi","identifier":"mathlas-mcp","version":"1.5.0","found":true,"weeklyDownloads":49,"dependencyCount":11,"publishedAt":"2026-07-02T01:51:21.782506Z","repositoryUrl":"https://github.com/Archerkattri/mathlas"}],"repo":{"found":true,"owner":"Archerkattri","repo":"mathlas","archived":false,"pushedAt":"2026-09-18T03:52:04Z","stars":12,"forks":1,"openIssues":0,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/176878924?v=4","ownerCreatedAt":"2024-07-29T05:40:43Z","license":"Apache-2.0"},"icon":{"url":"https://avatars.githubusercontent.com/u/176878924?v=4&s=128","source":"github"},"presence":{"stars":12,"forks":1,"downloadsWeek":49,"license":"Apache-2.0","lastPushAt":"2026-09-18T03:52:04.000Z","score":34}}}},"grade_history":[],"reviews":[]}