Mcp Z3 Prover — independently scanned and version-tracked by SaferSkills.
SaferSkills independently audited Mcp Z3 Prover (Agent Skill) and scored it 100/100 (green). The audit ran 55 deterministic rules across Security, Supply Chain, Maintenance, Transparency, and Community; it found 0 high-severity and 0 lower-severity findings. The full rule-by-rule trace and per-finding evidence are below. Free, methodology-open.
Findings & checks · 0 flagged
Every scanned point with the score it earned and what moved between them.
First recorded scan — no prior version to compare against.
The primary manifest — the file an agent reads to learn what this artifact does.
MCP server exposing Z3 solver API.
Use this skill when you need to:
create_bool_var - Create Boolean variablecreate_int_var - Create Integer variablecreate_real_var - Create Real variablecreate_int_constant / create_real_constant - Constantsadd_constraint - Add constraint to solversolve - Solve current problemget_model_value - Get variable valueoptimize - Solve with optimizationreset_solver - Reset statelist_variables - List all variablespip install mcp-z3-prover~30 seconds. Free. No account. Every finding cites a rule and a line of evidence.