derivation_import_from_sympy
Import SymPy-MCP calculation results into NSForge as new steps, updating the current expression with assumptions and limitations for continued step-by-step derivation.
Instructions
從 SymPy-MCP 導入結果回 NSForge
═══════════════════════════════════════════════════════════════════════
🔄 HANDOFF 機制 - 把 SymPy-MCP 的結果帶回 NSForge 繼續！
═══════════════════════════════════════════════════════════════════════
使用時機：
- 在 SymPy-MCP 完成複雜計算後
- 想要繼續使用 NSForge 的步進式記錄
- 需要為 SymPy-MCP 的結果加入人類知識
這個工具會：
1. 將 SymPy-MCP 的結果記錄為新步驟
2. 更新當前表達式
3. 記錄使用的假設和限制
Args:
expression: SymPy-MCP 返回的表達式（字串格式）
operation_performed: 執行了什麼操作（如 "Solved ODE"）
sympy_tool_used: 使用的 SymPy-MCP 工具名稱
latex: LaTeX 格式（可選，會自動生成）
notes: 額外說明
assumptions_used: 使用的假設（從 SymPy-MCP 的 intro 來的）
limitations: 這個結果的限制
Returns:
導入結果
Example:
# SymPy-MCP 解完 ODE 後
derivation_import_from_sympy(
expression="C*exp(k*t)",
operation_performed="Solved first-order ODE",
sympy_tool_used="dsolve_ode",
notes="General solution with integration constant C",
assumptions_used=["k is real positive", "t is real"],
limitations=["Requires initial condition to determine C"]
)
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| latex | No | ||
| notes | No | ||
| expression | Yes | ||
| session_id | No | ||
| limitations | No | ||
| sympy_tool_used | Yes | ||
| assumptions_used | No | ||
| operation_performed | Yes |
Output Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
No arguments | |||