Loading…

Z3 MCP — Developer Tools MCP Server | Trust: 49/100 | Conduid

Marketplace Builders Collections Docs

Back to Marketplace

📦

Z3 MCP

questionable z3 mcp server for true logical reasoning

0 installs

1 stars

Trust: 49 — Fair

Devtools

Installation

npx z3-mcp

Ask AI about Z3 MCP

Powered by Claude · Grounded in docs

I know everything about Z3 MCP. Ask me about installation, configuration, usage, or troubleshooting.

0/500

Loading tools...

Reviews

Documentation

No README available

Trust & Verification

Trust Score49/100

Fair

No ConduID identity

This server hasn't registered a cryptographic identity via the ConduID Protocol yet.

Links

GitHub Repository

Details

CategoryDevtools

LicenseMIT

Authorigorwwwwwwwwwwwwwwwwwwww

Last commit8mo ago

Weekly installs0

PricingFree

Tags

Security Checklist

The marketplace for MCP servers. Discovery, trust, analytics, and monetization for AI agent components.

Explore

Marketplace
Collections
Top Rated
Trending

Builders

Documentation
SDK
Dashboard
API Reference

Company

GitHub
Twitter / X
Terms
Privacy

© 2026 Conduid. The trust layer for AI agent components.

Has README

Has License

Has Tests

Scoped Permissions

Pinned Dependencies

No Eval Usage