MarketNow Registry / Developer Tools / yuwakisa-z3solver-mcp

yuwakisa-z3solver-mcp

MCP server providing Z3 SMT solver capabilities

Developer Tools v0.1.1 by yuwakisa

Trust score

60/100

Install risk

Runs registry code

Downloads / week

Source

npm-registry

Indexed

2026-09-10

Install

$ npx -y yuwakisa-z3solver-mcp

Installing via npx/uvx/npm install executes arbitrary code from the public registry on your machine. This is the install-risk semantic of the MarketNow catalog — verify the publisher before running it.

Adoption evidence: 16 weekly registry downloads.

How MarketNow scored this

Sentinel Index Heuristics — a security-first estimate from public signals:

Package age and release activity (stale repositories lose points)
Verified adoption: registry downloads or GitHub stars, not follower counts
Typosquat distance against the 150 most-installed MCP packages
Injection markers scanned in the package description

Heuristic, not a guarantee. For verified agent credentials and revocation, see the MarketNow Trust API.

What is yuwakisa-z3solver-mcp?

MCP server providing Z3 SMT solver capabilities Indexed by MarketNow with trust 60/100 (Runs registry code).

How do I install it?

Run $ npx -y yuwakisa-z3solver-mcp Installing via npx/uvx/npm install executes arbitrary code from the public registry on your machine. This is the install-risk semantic of the MarketNow catalog — verify the publisher before running it.

What does the trust score mean?

Security-first heuristic over public signals (age, adoption, typosquat distance, injection markers). It is not a popularity ranking and not a guarantee of safety. yuwakisa-z3solver-mcp scores 60/100.