Alejandro Quintanar
@alejandroqh
Rust | Python | MCP | AI Tools
On GitHub since June 2018
1
Published Tools
3
Total Stars
0
Weekly Downloads
34
GitHub Followers
21
Public Repos
Published Tools
1 MCP Serveracross 1 categoryalejandroqh
Z3-powered reasoning for AI agents. MCP server + CLI for scheduling, logic, config, and safety.
MCP Serveruncategorised
31 dir