3 projects
optimcp
A decision engine that can't lie about the constraints - an MCP / function-calling tool that returns verified, constraint-satisfying answers for AI agents
qbridge
Verified optimization DSL compiler targeting QOKit, CUDA-Q, and OpenQAOA
qbridge-agent
Local, compiler-backed optimization agent (QOKit / CUDA-Q)
