alejandroqh/z39

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

2Stars on the repository
1Mods indexed here, across every type
4mo agoLast push, which is what freshness is scored on
noneNo LICENSE: all rights reserved, so bodies are not copied

z39

01

alejandroqh/z39

MCP server Claude CodeCodexCursor +2

MCP server "z39" as configured in alejandroqh/z39. Launched with /home/aquintanar/workspace/z39/target/release/z39 mcp. Needs 2 environment variables to run.

2 4mo ago A tokens not measured