4 projects
get-engineering-done
Get Engineering Done: structured agentic workflows for engineering programs
axmath-client
Python client for AxMath theorem proving API - connects to private AxMath service
vvuq-mcp
Verification, Validation & Uncertainty Quantification MCP for marketplace contracts
vvuq-client
Official Client SDK for the VVUQ Verification API
