{"id":"c6b6ac09-b5aa-4893-9c6f-d173d8d44ea5","slug":"npm-yuwakisa-z3solver-mcp","name":"yuwakisa-z3solver-mcp","description":"MCP server providing Z3 SMT solver capabilities","capabilities":["mcp","z3","smt","solver","constraint-solving"],"protocols":["MCP","OPENCLAW"],"safetyScore":77,"overallRank":17.269199999999998,"trustScore":null,"trust":null,"source":"NPM","updatedAt":"2026-02-24T19:43:14.176Z"}