{"name":"io.github.SuresoftTechnologies/dvera-mcp","slug":"suresofttechnologies-dvera-mcp","title":"DVERA CT verification tools","description":"DVERA drives CT verification of mission-critical C/C++: setup, analysis, tests, coverage.","url":"https://mcp.market/server/suresofttechnologies-dvera-mcp","rating":null,"grade":"A","score":93,"certified":false,"status":"active","category":"other","tags":[],"presence":{"score":0,"stars":null,"forks":null,"downloads_week":null,"last_push_at":null,"license":null},"claimed":false,"transport":"mcpb","callable_via_gateway":false,"default_price_micros":0,"repository":"https://github.com/SuresoftTechnologies/dvera-plugin","website":null,"version":"0.1.1","remotes":[],"packages":[{"registryType":"mcpb","identifier":"https://github.com/SuresoftTechnologies/dvera-plugin/releases/download/v0.1.1/dvera-mcp.mcpb","fileSha256":"e85a4e4ef57fdbed99465f3955753ba69826abde1c7d8774a65c112192bd27e3","transport":{"type":"stdio"}}],"tools":[],"scan":{"score":93,"grade":"A","scanned_at":"2026-09-18T00:14:55.110Z","report":{"scannerVersion":"0.1.2","scannedAt":"2026-09-18T00:14:55.067Z","components":{"code":{"score":-1,"max":25,"notes":["package could not be scanned"]},"reliability":{"score":-1,"max":20,"notes":["no gateway calls yet and no remote to probe"]},"poisoning":{"score":15,"max":15,"notes":["only the listing description was available"]},"auth":{"score":12,"max":15,"notes":["local package, no credentials required"]},"maintenance":{"score":15,"max":15,"notes":["last push 0 days ago"]},"identity":{"score":9,"max":10,"notes":["registry namespace matches repository owner","GitHub account older than a year"]}},"findings":[],"inputs":{"packages":[],"repo":{"found":true,"owner":"SuresoftTechnologies","repo":"dvera-plugin","archived":false,"pushedAt":"2026-09-17T22:49:48Z","stars":0,"openIssues":0,"ownerType":"Organization","ownerCreatedAt":"2015-12-07T01:10:25Z","license":"MIT"}}}},"grade_history":[],"reviews":[]}