Claim MCP Z3 Prover
Prove you own this MCP to get the Official badge and edit access — proof is checked automatically, then reviewed by our team. Adding the AllMCPs badge to your site is separate and doesn't require claiming: we detect it automatically and mark your listing Verified.
🛡️
Official Status
Not claimed
Prove ownership below to unlock edit access.
🌐
Verified (reciprocal badge)
No Website Attached
Attach a site below to qualify for a reciprocal link.
1
Choose Verification Method
2
Follow Instructions & Copy Code
Have an AI Agent claim & verify this for you!
🔒 Sign in to get your promptSign in first — the prompt embeds a verification token tied to your account, so it only works once you're signed in.
1. Customize your README badge:
Style:
Displayed Metric:
Theme:
Preview:
Sign in to generate your account-linked verification token.
Sign In to Continue3
Confirm & Run Verification
Selected Action:Verify GitHub Repository README
Target URL:https://github.com/daedalus/mcp-z3-prover