Shikamaru MCP Server - Provably correct ISDA day-count and accrued-interest | MCP Marketplace