math-logic-mcp 0.2.0__tar.gz

math_logic_mcp-0.2.0/LICENSE

@@ -0,0 +1,115 @@
+                                 Apache License
+                           Version 2.0, January 2004
+                        http://www.apache.org/licenses/
+
+   TERMS AND CONDITIONS FOR USE, REPRODUCTION, AND DISTRIBUTION
+
+   1. Definitions.
+
+      "License" shall mean the terms and conditions for use, reproduction,
+      and distribution as defined in Sections 1 through 9 of this document.
+
+      "Licensor" shall mean the copyright owner or entity authorized by
+      the copyright owner that is granting the License.
+
+      "Legal Entity" shall mean the union of the acting entity and all
+      other entities that control, are controlled by, or are under common
+      control with that entity. For the purposes of this definition,
+      "control" means (i) the power, direct or indirect, to cause the
+      direction or management of such entity, whether by contract or
+      otherwise, or (ii) ownership of fifty percent (50%) or more of the
+      outstanding shares, or (iii) beneficial ownership of such entity.
+
+      "You" (or "Your") shall mean an individual or Legal Entity exercising
+      permissions granted by this License.
+
+      "Source" form shall mean the preferred form for making modifications,
+      including but not limited to software source code, documentation
+      source, and configuration files.
+
+      "Object" form shall mean any form resulting from mechanical
+      transformation or translation of a Source form, including but
+      not limited to compiled object code, generated documentation,
+      and conversions to other media types.
+
+      "Work" shall mean the work of authorship, whether in Source or Object
+      form, made available under the License, as indicated by a copyright
+      notice that is included in or attached to the work.
+
+      "Derivative Works" shall mean any work, whether in modifications or
+      additions to the Work or Derivative Works thereof, that, as a whole,
+      an original work of authorship, would be included, in the absence of
+      a waiver, in the "Derivative Works" of the Work.
+
+      "Contribution" shall mean any work of authorship, including the
+      original Work and any Derivative Works thereof, that is intentionally
+      submitted to, or received by, Licensor for inclusion in the Work by
+      the copyright owner or by an individual or Legal Entity authorized to
+      submit on behalf of the copyright owner. For the purposes of this
+      definition, "submitted" means any form of electronic, verbal, or
+      written communication sent to the Licensor or its representatives.
+
+      "Contributor" shall mean Licensor and any individual or Legal Entity
+      on behalf of whom a Contribution has been received by Licensor and
+      subsequently incorporated within the Work.
+
+   2. Grant of Copyright License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      copyright license to reproduce, prepare Derivative Works of,
+      publicly display, publicly perform, distribute, and sublicense copies
+      of the Work and such Derivative Works in Source or Object form.
+
+   3. Grant of Patent License. Subject to the terms and conditions of
+      this License, each Contributor hereby grants to You a perpetual,
+      worldwide, non-exclusive, no-charge, royalty-free, irrevocable
+      (except as stated in this section) patent license to make, have made,
+      use, offer to sell, sell, import, and otherwise transfer the Work.
+
+   4. Redistribution. You may reproduce and distribute copies of the Work
+      or Derivative Works thereof in any medium, with or without
+      modifications, and in Source or Object form, provided that You meet
+      the following conditions:
+
+      (a) You must give any other recipients of the Work or Derivative Works
+          a copy of this License; and
+
+      (b) You must cause any modified files to carry prominent notices
+          stating that You changed the files; and
+
+      (c) You must retain, in the Source form of any Derivative Works
+          that You distribute, all copyright, patent, license, and
+          attribution notices from the Source form of the Work; and
+
+      (d) If the Work includes a "NOTICE" text file, then any Derivative
+          Works that You distribute must include a readable copy of the
+          attribution notices.
+
+   5. Submission of Contributions. Unless You explicitly state otherwise,
+      any Contribution intentionally submitted for inclusion in the Work
+      by You to the Licensor shall be under the terms and conditions of
+      this License, without limitation of any additional terms or conditions.
+
+   6. Trademarks. This License does not grant permission to use the trade
+      names, trademarks, service marks, or product names of the Licensor.
+
+   7. Disclaimer of Warranty. Unless required by applicable law or agreed
+      to in writing, Licensor provides the Work (and each Contributor
+      provides its Contributions) on an "AS IS" BASIS, WITHOUT WARRANTIES
+      OR CONDITIONS OF ANY KIND, either express or implied, including,
+      without limitation, any warranties or title, non-infringement,
+      merchantability, or fitness for a particular purpose.
+
+   8. Limitation of Liability. In no event and under no legal theory,
+      whether in tort (including negligence), contract, or otherwise,
+      unless required by applicable law (such as cases of deliberate and
+      gross negligence) or agreed to in writing, shall any Contributor be
+      liable to You for damages.
+
+   9. Accepting Warranty or Additional Liability. While redistributing
+      the Work or Derivative Works thereof, You may choose to offer, and
+      charge a fee for, acceptance of support, warranty, indemnity, or
+      other liability obligations and/or rights consistent with this
+      License.
+
+   END OF TERMS AND CONDITIONS

math_logic_mcp-0.2.0/PKG-INFO

@@ -0,0 +1,183 @@
+Metadata-Version: 2.4
+Name: math-logic-mcp
+Version: 0.2.0
+Summary: MCP server providing verified math & logic tools for small LLMs (Mistral, Llama, DeepSeek)
+Author: Open Source Community
+License-Expression: Apache-2.0
+Project-URL: Homepage, https://github.com/ismailkerimov/math-logic-mcp
+Project-URL: Repository, https://github.com/ismailkerimov/math-logic-mcp
+Project-URL: Bug Tracker, https://github.com/ismailkerimov/math-logic-mcp/issues
+Keywords: mcp,llm,reasoning,symbolic,math,logic,proof,tool-calling
+Classifier: Development Status :: 3 - Alpha
+Classifier: Intended Audience :: Science/Research
+Classifier: Programming Language :: Python :: 3
+Classifier: Programming Language :: Python :: 3.10
+Classifier: Programming Language :: Python :: 3.11
+Classifier: Programming Language :: Python :: 3.12
+Classifier: Topic :: Scientific/Engineering :: Artificial Intelligence
+Requires-Python: >=3.10
+Description-Content-Type: text/markdown
+License-File: LICENSE
+Requires-Dist: sympy>=1.12
+Requires-Dist: z3-solver>=4.12.2
+Requires-Dist: pydantic>=2.0
+Requires-Dist: mcp[cli]>=1.0.0
+Provides-Extra: dev
+Requires-Dist: pytest>=7.4; extra == "dev"
+Requires-Dist: pytest-cov>=4.1; extra == "dev"
+Requires-Dist: pytest-asyncio>=0.23; extra == "dev"
+Requires-Dist: black>=23.7; extra == "dev"
+Requires-Dist: flake8>=6.0; extra == "dev"
+Requires-Dist: mypy>=1.4; extra == "dev"
+Requires-Dist: isort>=5.12; extra == "dev"
+Provides-Extra: full
+Requires-Dist: ortools>=9.7.2996; extra == "full"
+Requires-Dist: litellm>=1.26.0; extra == "full"
+Requires-Dist: redis>=5.0.0; extra == "full"
+Requires-Dist: lark>=1.1; extra == "full"
+Dynamic: license-file
+
+# math-logic-mcp
+
+**MCP server that gives small LLMs verified symbolic-math & logic tools.**
+
+[![License](https://img.shields.io/badge/license-Apache%202.0-blue.svg)](LICENSE)
+
+Small language models (Mistral, Llama, Phi, Gemma) struggle with multi-step math and formal logic. Instead of fine-tuning, **give them tools**. This project exposes a set of verified math and logic solvers via the [Model Context Protocol (MCP)](https://modelcontextprotocol.io), so any MCP-compatible LLM can call them as functions.
+
+## Features
+
+| Tool | What it does | Backend |
+|------|-------------|---------|
+| `verify_arithmetic` | Safe arithmetic evaluation | Python stdlib (zero deps) |
+| `solve_equation` | Symbolic equation solving | SymPy (optional) |
+| `simplify_expression` | Simplify / factor / expand | SymPy (optional) |
+| `compute_derivative` | Differentiation | SymPy (optional) |
+| `compute_integral` | Integration | SymPy (optional) |
+| `check_logic` | SAT / tautology / truth tables | Z3 (optional) |
+
+Every result includes **proof steps** and **verification** — the LLM gets a machine-checked answer, not a guess.
+
+## Quick Start
+
+### Install (minimal — arithmetic only)
+
+```bash
+pip install -e .
+```
+
+### Install (full — all solvers)
+
+```bash
+pip install -e ".[full]"
+```
+
+### Run the MCP server
+
+```bash
+# stdio transport (for Claude Desktop, Cursor, etc.)
+math-logic-mcp
+
+# HTTP/SSE transport (for remote clients)
+math-logic-mcp --http
+```
+
+### Configure in Claude Desktop
+
+Add to `~/Library/Application Support/Claude/claude_desktop_config.json`:
+
+```json
+{
+  "mcpServers": {
+    "math-logic": {
+      "command": "math-logic-mcp"
+    }
+  }
+}
+```
+
+### Configure in Cursor
+
+Add to `.cursor/mcp.json`:
+
+```json
+{
+  "mcpServers": {
+    "math-logic": {
+      "command": "math-logic-mcp"
+    }
+  }
+}
+```
+
+## Use as a Python Library
+
+```python
+from math_logic import MathLogicEngine
+
+engine = MathLogicEngine()
+
+# Arithmetic (always available)
+result = engine.solve("compute 2 + 3 * 4")
+print(result.solutions)  # ['14']
+
+# Algebra (requires sympy)
+result = engine.solve("Solve x^2 - 4 = 0")
+print(result.solutions)  # ['x = -2', 'x = 2']
+
+# Logic (requires z3-solver)
+result = engine.solve('Check satisfiability of "p and q"')
+print(result.solutions)  # ['Satisfiable: p=True, q=True']
+```
+
+## Architecture
+
+```
+LLM ─── MCP Protocol ──▶ mcp_server.py
+                              │
+                          engine.py  (router → solver → result)
+                              │
+              ┌───────────────┼───────────────┐
+              ▼               ▼               ▼
+     ArithmeticSolver   SymPySolver      Z3Solver
+      (zero deps)       (pip: sympy)    (pip: z3-solver)
+```
+
+The **router** classifies each problem by regex patterns and routes to the best available solver. Solvers are loaded lazily — if SymPy isn't installed, algebra problems gracefully report the missing dependency.
+
+## Installation Extras
+
+| Extra | What it adds | Install size |
+|-------|-------------|-------------|
+| (none) | Arithmetic only | ~1 MB |
+| `[sympy]` | + algebra, calculus, simplification | ~50 MB |
+| `[z3]` | + propositional logic, SAT | ~30 MB |
+| `[full]` | Everything | ~80 MB |
+| `[dev]` | + pytest, ruff | ~85 MB |
+
+```bash
+pip install -e ".[sympy]"     # algebra + calculus
+pip install -e ".[z3]"        # logic
+pip install -e ".[full]"      # everything
+pip install -e ".[full,dev]"  # everything + dev tools
+```
+
+## Development
+
+```bash
+git clone https://github.com/user/math-logic-mcp.git
+cd math-logic-mcp
+pip install -e ".[full,dev]"
+pytest tests/ -v
+```
+
+## Docker
+
+```bash
+docker build -t math-logic-mcp .
+docker run -p 8080:8080 math-logic-mcp
+```
+
+## License
+
+Apache 2.0 — see [LICENSE](LICENSE).

math_logic_mcp-0.2.0/README.md

@@ -0,0 +1,144 @@
+# math-logic-mcp
+
+**MCP server that gives small LLMs verified symbolic-math & logic tools.**
+
+[![License](https://img.shields.io/badge/license-Apache%202.0-blue.svg)](LICENSE)
+
+Small language models (Mistral, Llama, Phi, Gemma) struggle with multi-step math and formal logic. Instead of fine-tuning, **give them tools**. This project exposes a set of verified math and logic solvers via the [Model Context Protocol (MCP)](https://modelcontextprotocol.io), so any MCP-compatible LLM can call them as functions.
+
+## Features
+
+| Tool | What it does | Backend |
+|------|-------------|---------|
+| `verify_arithmetic` | Safe arithmetic evaluation | Python stdlib (zero deps) |
+| `solve_equation` | Symbolic equation solving | SymPy (optional) |
+| `simplify_expression` | Simplify / factor / expand | SymPy (optional) |
+| `compute_derivative` | Differentiation | SymPy (optional) |
+| `compute_integral` | Integration | SymPy (optional) |
+| `check_logic` | SAT / tautology / truth tables | Z3 (optional) |
+
+Every result includes **proof steps** and **verification** — the LLM gets a machine-checked answer, not a guess.
+
+## Quick Start
+
+### Install (minimal — arithmetic only)
+
+```bash
+pip install -e .
+```
+
+### Install (full — all solvers)
+
+```bash
+pip install -e ".[full]"
+```
+
+### Run the MCP server
+
+```bash
+# stdio transport (for Claude Desktop, Cursor, etc.)
+math-logic-mcp
+
+# HTTP/SSE transport (for remote clients)
+math-logic-mcp --http
+```
+
+### Configure in Claude Desktop
+
+Add to `~/Library/Application Support/Claude/claude_desktop_config.json`:
+
+```json
+{
+  "mcpServers": {
+    "math-logic": {
+      "command": "math-logic-mcp"
+    }
+  }
+}
+```
+
+### Configure in Cursor
+
+Add to `.cursor/mcp.json`:
+
+```json
+{
+  "mcpServers": {
+    "math-logic": {
+      "command": "math-logic-mcp"
+    }
+  }
+}
+```
+
+## Use as a Python Library
+
+```python
+from math_logic import MathLogicEngine
+
+engine = MathLogicEngine()
+
+# Arithmetic (always available)
+result = engine.solve("compute 2 + 3 * 4")
+print(result.solutions)  # ['14']
+
+# Algebra (requires sympy)
+result = engine.solve("Solve x^2 - 4 = 0")
+print(result.solutions)  # ['x = -2', 'x = 2']
+
+# Logic (requires z3-solver)
+result = engine.solve('Check satisfiability of "p and q"')
+print(result.solutions)  # ['Satisfiable: p=True, q=True']
+```
+
+## Architecture
+
+```
+LLM ─── MCP Protocol ──▶ mcp_server.py
+                              │
+                          engine.py  (router → solver → result)
+                              │
+              ┌───────────────┼───────────────┐
+              ▼               ▼               ▼
+     ArithmeticSolver   SymPySolver      Z3Solver
+      (zero deps)       (pip: sympy)    (pip: z3-solver)
+```
+
+The **router** classifies each problem by regex patterns and routes to the best available solver. Solvers are loaded lazily — if SymPy isn't installed, algebra problems gracefully report the missing dependency.
+
+## Installation Extras
+
+| Extra | What it adds | Install size |
+|-------|-------------|-------------|
+| (none) | Arithmetic only | ~1 MB |
+| `[sympy]` | + algebra, calculus, simplification | ~50 MB |
+| `[z3]` | + propositional logic, SAT | ~30 MB |
+| `[full]` | Everything | ~80 MB |
+| `[dev]` | + pytest, ruff | ~85 MB |
+
+```bash
+pip install -e ".[sympy]"     # algebra + calculus
+pip install -e ".[z3]"        # logic
+pip install -e ".[full]"      # everything
+pip install -e ".[full,dev]"  # everything + dev tools
+```
+
+## Development
+
+```bash
+git clone https://github.com/user/math-logic-mcp.git
+cd math-logic-mcp
+pip install -e ".[full,dev]"
+pytest tests/ -v
+```
+
+## Docker
+
+```bash
+docker build -t math-logic-mcp .
+docker run -p 8080:8080 math-logic-mcp
+```
+
+## License
+
+Apache 2.0 — see [LICENSE](LICENSE).

math_logic_mcp-0.2.0/math_logic/__init__.py

@@ -0,0 +1,23 @@
+"""math-logic-mcp — MCP server with verified math & logic tools for LLMs."""
+
+from math_logic.engine import (
+    MathLogicEngine,
+    SolveResult,
+    Proof,
+    ProofStep,
+    ProblemType,
+    SolverType,
+    BaseSolver,
+)
+from math_logic.router import Router
+
+__all__ = [
+    "MathLogicEngine",
+    "SolveResult",
+    "Proof",
+    "ProofStep",
+    "ProblemType",
+    "SolverType",
+    "BaseSolver",
+    "Router",
+]