The request 'math-reasoning' names no specific product, so the best fits are the sources that actually show math or reasoning capability: a math-tuned open model hosted on Replicate 313, SciPy for mathematical algorithms such as optimization, integration, eigenvalue and differential-equation problems 9, and Amazon Bedrock's Automated Reasoning policies for verifying logical rules 1020. Note that the page sources show only what the products offer, not benchmark results.

1. 1

   Replicate 7b Ai Deepseek Instruct Mathreplicate.comverified and signed

   Hosted instruct model for mathematical reasoning in open language models, callable through the Replicate cloud API 313.

   WebsiteDocsPricingGet started

   for agents: deepseek-ai/deepseek-math-7b-instruct

2. 2

   SciPyscipy.orgwebsite read, tools not yet checked

   Python library providing algorithms for optimization, integration, interpolation, eigenvalue problems, algebraic and differential equations, and statistics 9.

   WebsiteDocsGet started

   +2 community tools built for it

3. 3

   Amazon Bedrock Automated Reasoningamazon.comverified and signed

   Creates and updates Automated Reasoning policies with rules and variables, and test cases to check them, for Amazon Bedrock Guardrails 20.

   WebsiteDocs

   official:SDK · @aws-sdk/client-bedrock-runtimerepository · bedrock-agentcore-sdk-pythonskill · amazon-bedrockSDK · bedrock-agentcore

   for agents: CreateAutomatedReasoningPolicy · UpdateAutomatedReasoningPolicy · CreateAutomatedReasoningPolicyTestCase