MCP servers from io.github.JayOfemi
Provably correct ISDA day-count and accrued-interest calculations, verified against QuantLib.
