convexity
MCP server giving AI agents fixed-income analytics that cross-check their own work: every duration validated numerically, every valuation tested against the bounds a correct answer must satisfy.
Special Structure Detection for Pyomo
