Math Expression

Use when the user wants an actual math result, simplification, expansion, exact value, high-precision value, analytic solution, or numerical solution for alg...

Security Scan

The skill's requirements and runtime behavior match its stated purpose (evaluating single Wolfram Language math expressions); it requests no unrelated credentials and includes a reasonable safety guard against filesystem/network/process symbols.

Purpose & Capability

Name/description match the declared binaries (WolframKernel) and Python dependency (wolframclient). Requiring WolframKernel is appropriate for evaluating Wolfram Language math expressions. No unrelated binaries, env vars, or config paths are requested.

Instruction Scope

SKILL.md and the script restrict usage to single Wolfram Language math expressions and explicitly block many unsafe symbols (Import, URLRead, Run, Get, etc.). The runtime does execute the expression in a WolframKernel session, which is expected, but this means the kernel could perform side effects if the expression uses symbols not caught by the blocker. The guard is regex-based and may not be exhaustive (edge-case constructs might bypass it). The skill documents the risk and exposes --allow-unsafe only for isolated environments.

Install Mechanism

No install spec (instruction-only plus an included helper script). No downloads or external installers. Dependencies are reasonable and documented (python3, wolframclient, WolframKernel).

Credentials

No environment variables, credentials, or config paths are requested. The lack of secret access is proportionate to the stated functionality.

Persistence & Privilege

The skill does not request always: true and does not attempt to modify other skills or system-wide config. It runs only on explicit invocation or normal autonomous invocation per platform defaults.

Assessment

This skill appears to do what it says: it runs a single Wolfram Language expression via WolframKernel and returns exact/numeric/verification results. Before installing or enabling it, ensure your WolframKernel is trusted and run the skill in an isolated environment if you expect untrusted input. Do not enable --allow-unsafe in production or on systems with sensitive data. Be aware the safety check is a regex-based blocker of known dangerous symbols and may not catch every possible Wolfram expression that could perform I/O or network access; if you need stronger guarantees, run the kernel in a sandbox/container or refuse expressions that contain unfamiliar symbols.

Overview

Use this skill when a natural-language math request should be translated into a single Wolfram Language expression and then evaluated or solved.

It fits symbolic algebra, calculus, exact arithmetic, high-precision numerics, matrix problems, series, asymptotics, and ODE/PDE tasks. It does not replace a general code executor or a multi-step notebook workflow.

Quick start

python3 -m pip install --user wolframclient
python3 {baseDir}/scripts/eval_expression.py --expr "Factor[x^4 - 1]"
python3 {baseDir}/scripts/eval_expression.py --expr "DSolve[y''[x] + y[x] == 0, y[x], x]"
python3 {baseDir}/scripts/eval_expression.py --expr "N[Pi, 80]" --precision 80 --json

Safety boundary

• Use this skill for math-only Wolfram Language expressions.
• By default, the script blocks filesystem, network, and process-related symbols such as Import, URLRead, Run, RunProcess, Get, Put, OpenRead, and OpenWrite.
• Do not disable this guard unless the runtime is isolated.
• This skill is not a general code execution tool and not a multi-step notebook agent.

Workflow

1. Convert the user's request into one Wolfram Language expression.
2. Check that the expression is math-only.
3. Run scripts/eval_expression.py --expr "..."
4. Return Exact, Numeric, Verified, and Version.

Examples

• Algebraic simplification: Factor[x^4 - 1]
• Definite integral: Integrate[x^2 Exp[-x], {x, 0, Infinity}]
• Limit: Limit[(Sin[x] - x)/x^3, x -> 0]
• ODE analytic solution: DSolve[y''[x] + y[x] == 0, y[x], x]
• PDE numeric solution: NDSolve[{D[u[x, t], t] == D[u[x, t], {x, 2}], u[0, t] == 0, u[1, t] == 0, u[x, 0] == Sin[Pi x]}, u, {x, 0, 1}, {t, 0, 1}]
• Asymptotic expansion: Asymptotic[LogGamma[x], x -> Infinity, 5]
• High-precision value: N[Pi, 120]

Notes

• Input is Wolfram Language only.
• This skill is single-expression and single-run.
• Runtime dependency: wolframclient and WolframKernel.