Essential symbolic expression manipulation MCP server - 15 fundamental tools
Project description
ReasonForge Expressions
Essential symbolic expression manipulation MCP server - 15 fundamental tools
ReasonForge Expressions is a focused MCP server providing the most essential tools for symbolic expression manipulation and basic calculus. Perfect for students, educators, and anyone needing fundamental mathematical computation.
Features
- 15 Essential Tools: Carefully selected core functionality
- 90% Token Reduction: ~800 tokens vs ~8,000 for full server
- SymPy-Powered: Deterministic symbolic computation
- Fast & Lightweight: Minimal dependencies
- Foundation Package: Used by all other ReasonForge servers
Installation
pip install reasonforge-expressions
Usage
With Claude Desktop
Add to your claude_desktop_config.json:
{
"mcpServers": {
"reasonforge-expressions": {
"command": "python",
"args": ["-m", "reasonforge_expressions"]
}
}
}
Standalone
python -m reasonforge_expressions
Tools (15)
Variable Management (4 tools)
- intro: Introduce a variable with assumptions (real, positive, etc.)
- intro_many: Introduce multiple variables simultaneously
- introduce_expression: Store an expression with a key
- introduce_function: Define a function symbol for differential equations
Expression Operations (5 tools)
- simplify_expression: Simplify expressions using various methods
- substitute_expression: Substitute values into expressions
- substitute_values: Substitute and evaluate numerically
- expand_expression: Expand algebraic expressions
- factor_expression: Factor expressions
Basic Calculus (4 tools)
- differentiate: Compute derivatives (any order)
- integrate: Compute indefinite integrals
- compute_limit: Calculate limits
- expand_series: Taylor/Maclaurin series expansion
Utilities (2 tools)
- print_latex_expression: Get LaTeX representation
- solve_word_problem: Solve word problems symbolically
Examples
Differentiation
User: "What is the derivative of sin(x)*cos(x)?"
Claude: Uses differentiate tool...
Result: sin(x)*cos(x) - sin(x)^2
Variable Introduction
User: "Create a positive real variable x"
Claude: Uses intro tool with assumptions=['real', 'positive']
Result: Variable 'x' created with assumptions: {real: True, positive: True}
Series Expansion
User: "Taylor series for e^x around x=0, order 5"
Claude: Uses expand_series tool...
Result: 1 + x + x^2/2 + x^3/6 + x^4/24 + x^5/120 + O(x^6)
Why Choose Expressions?
Perfect for users who need:
- ✅ Basic symbolic manipulation - Variables, simplification, substitution
- ✅ Fundamental calculus - Derivatives, integrals, limits, series
- ✅ Lightweight footprint - Only ~15 tools vs 113 in full server
- ✅ Fast startup - Minimal dependencies
- ✅ Educational use - Students, teachers, tutoring
Upgrade Path
Need more capabilities? Install additional ReasonForge packages:
# Add equation solving and matrices
pip install reasonforge-algebra
# Add differential equations and transforms
pip install reasonforge-analysis
# Add statistics and probability
pip install reasonforge-statistics
Dependencies
mcp>=1.0.0- Model Context Protocolsympy>=1.12- Symbolic mathematicsreasonforge>=0.1.0- Core computation library
License
MIT License - See LICENSE file for details
Part of ReasonForge Ecosystem
- reasonforge - Core library
- reasonforge-expressions - This package (essentials)
- reasonforge-algebra - Equation solving, matrices
- reasonforge-analysis - Advanced calculus
- reasonforge-geometry - Vector/tensor calculus
- reasonforge-statistics - Probability & statistics
- reasonforge-physics - Physics & quantum
- reasonforge-logic - Symbolic reasoning & logic
Project details
Release history Release notifications | RSS feed
Download files
Download the file for your platform. If you're not sure which to choose, learn more about installing packages.
Source Distribution
Built Distribution
Filter files by name, interpreter, ABI, and platform.
If you're not sure about the file name format, learn more about wheel file names.
Copy a direct link to the current filters
File details
Details for the file reasonforge_expressions-0.1.0.tar.gz.
File metadata
- Download URL: reasonforge_expressions-0.1.0.tar.gz
- Upload date:
- Size: 11.4 kB
- Tags: Source
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.10.11
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
62484cb58d08770467a301b82a1b954155af6241b803d335be7ec08ac86f3ea2
|
|
| MD5 |
bf69ced10292ce32d116e3b61a23f0ca
|
|
| BLAKE2b-256 |
30195050913a780f66e4a410c723938b3da159ac3d55be5d1ac6729a3175b90d
|
File details
Details for the file reasonforge_expressions-0.1.0-py3-none-any.whl.
File metadata
- Download URL: reasonforge_expressions-0.1.0-py3-none-any.whl
- Upload date:
- Size: 7.8 kB
- Tags: Python 3
- Uploaded using Trusted Publishing? No
- Uploaded via: twine/6.2.0 CPython/3.10.11
File hashes
| Algorithm | Hash digest | |
|---|---|---|
| SHA256 |
6945310a36afe9398cef02ad95d74046a4807305a45271ac68ae6cb005bdd623
|
|
| MD5 |
efdb7fddfa0dbd95063133a35ae143dc
|
|
| BLAKE2b-256 |
f24f75f272542149c9227276996d881dc940cb3e65c067afddee3bdaa136209f
|