{"name":"io.github.Furox-Art/axiomize","slug":"furox-art-axiomize","title":"Axiomize","description":"Versioned scientific models with units and SBML, CellML, Modelica export.","url":"https://mcp.market/server/furox-art-axiomize","rating":null,"grade":"A","score":85,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":31,"stars":3,"forks":0,"downloads_week":91,"last_push_at":"2026-10-02T22:35:31.000Z","license":"MIT"},"uptime":null,"claimed":false,"transport":"pypi","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/Furox-Art/axiomize","website":null,"version":"1.12.4","remotes":[],"packages":[{"registryType":"pypi","registryBaseUrl":"https://pypi.org","identifier":"axiomize","version":"1.12.4","runtimeHint":"uvx","transport":{"type":"stdio"},"runtimeArguments":[{"value":"mcp","type":"positional","valueHint":"mcp"}]}],"tools":[],"scan":{"score":85,"grade":"A","scanned_at":"2026-10-02T22:37:22.044Z","report":{"scannerVersion":"0.1.10","scannedAt":"2026-10-02T22:37:21.966Z","components":{"code":{"score":20,"max":25,"notes":["107 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 0 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":"axiomize-1.12.4/src/axiomize/tools/logic/z3_tool.py: … name: _z3_number_to_float(model.eval(scope[name], model_completion=True)) …"}],"inputs":{"packages":[{"registryType":"pypi","identifier":"axiomize","version":"1.12.4","found":true,"weeklyDownloads":91,"license":"MIT","dependencyCount":19,"publishedAt":"2026-10-02T15:53:08.904070Z","repositoryUrl":"https://github.com/Furox-Art/axiomize"}],"repo":{"found":true,"owner":"Furox-Art","repo":"axiomize","archived":false,"pushedAt":"2026-10-02T22:35:31Z","stars":3,"forks":0,"openIssues":4,"ownerType":"User","ownerAvatarUrl":"https://avatars.githubusercontent.com/u/177975472?v=4","ownerCreatedAt":"2024-08-09T19:57:46Z","license":"MIT"},"icon":{"url":"https://avatars.githubusercontent.com/u/177975472?v=4&s=128","source":"github"},"presence":{"stars":3,"forks":0,"downloadsWeek":91,"license":"MIT","lastPushAt":"2026-10-02T22:35:31.000Z","score":31}}}},"grade_history":[],"reviews":[]}