1. Conduid
  2. Blockchain
  3. Z39
MCP server · Blockchain

Z39

· github.com/alejandroqh/z39

Z3-powered reasoning for AI agents. MCP server + CLI for scheduling, logic, config, and safety.

Unclaimed ai-agentsclillm-toolsmathmcpsmt-solverz3
InstallView source
34Low

Scored a month ago · breakdown

About Z39

Z39 is an MCP server in the Blockchain category: z3-powered reasoning for AI agents. MCP server + CLI for scheduling, logic, config, and safety.

Install

From source
git clone https://github.com/alejandroqh/z39

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Tools (4)

z39_config"Do these deployment rules conflict?"

Parameters not published.

z39_logic"Are these access rules equivalent?" / "Find me a counterexample"

Parameters not published.

z39_safety"Is it safe to delete /etc/passwd?"

Parameters not published.

z39_schedule"Can I fit 5 meetings + lunch in my day?"

Parameters not published.

Ask AI

✦

Ask AI about Z39

Powered by Claude · Grounded in docs

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

Security checks

6 checks have not been run yet.

Questions

About Z39

How do I install Z39?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Z39 safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Z39 still maintained?

Conduid hasn't recorded a commit date for this repository yet. Check the repository directly for recent activity.