Overview
Use exact symbolic computation for algebra, derivatives, integrals, series, equations, differential equations and matrices, with guidance for physics, number theory and geometry. It suits study, research calculations and problems where parameters or exact expressions need to remain visible.
Provide the expression, variable meanings and relevant assumptions. The skill helps choose a method, explain the main steps and check results through substitution, differentiation or numerical spot checks. Outputs can become formulas and derivation notes, LaTeX for a report, or calculation code for further work. Optional numerical extensions depend on the capabilities available in the current environment.
Where it helps
- Solve a differential equation with the derivation shown step by step
- Compute an integral and verify it by differentiating the result back
- Render formulas as LaTeX or generate C/Fortran numeric code from them
- Run exact symbolic linear algebra on matrices and polynomials
#math#symbolic#algebra#linux
Examples
Examples describe the request and the shape of the expected deliverable; they are not completed run results.
01Example prompt
Solve for the particular solution of y'' + 4y = cos(2x), keep the intermediate steps, verify by substituting back into the equation, and give me the LaTeX.
Expected output
The symbolic solution, substitution confirming it, and a paste-ready LaTeX expression.
02Example prompt
Confirm the math environment is ready, then compute this parameterized integral treating the parameters as positive, and simplify the result.
Expected output
An exact integral with steps once readiness is confirmed — if the environment isn't ready it says so instead of forcing an answer.
Requirements and limits
- Install platforms
- iOS: iOS · Android: Android
- Script runtime
- Runs scripts in the task environment
- Minimum app version
- 1.7.59
Reviewed permission scope
iOS · Android
- Capabilities
- Remote executionRead workspace filesWrite workspace files
- Reviewed tools
- Shell commands
- Reviewed dependencies
- sympy==1.14.0 · mpmath==1.3.0
- Review decision
- Approved
- Review stage
- Guest execution qualification
- Reviewed on
- 2026-10-26
Implementation and runtime details
- Adaptation stage
- frozen
iOS
- Tools
- Shell commands
- Capabilities
- Remote executionRead workspace filesWrite workspace files
- Runtime environment
- linux / riscv64 · guest-verified
Android
- Tools
- Shell commands
- Capabilities
- Remote executionRead workspace filesWrite workspace files
- Runtime environment
- linux / riscv64 · guest-verified
License and source
Source and trace details
License
MIT
MIT (root LICENSE.md)
The pinned skill subtree and shipped references were audited; full applicable license and per-file adaptation/asset notes are preserved under references/licenses/ and references/PROVENANCE.md.
- Source
- https://github.com/K-Dense-AI/scientific-agent-skills
- Upstream path
- skills/sympy
- Source checked
- 2026-10-26
- Publisher
- JiangNanGenius
- Publication commit (retrieval)
- 25e07dbeeb6cc93c2fe83ddc72a34302cc40832a
- Audited source commit
- 84c524b6fb483e4cad94db076e7d9c9962966c19
- Signed catalog digest
- iOS 46196ba57ed7ea7f22085e74b113207f31193e820ab8983cf7a60eee953f2340 · Android 16de89d019e2057804a40f215485ccb09d5495a25864b34d681168eeaf8f9697
- Publication snapshot (UTC)
- 2026-10-31
Publication commit 25e07dbeeb, audited source 84c524b6fb; catalog digest iOS 46196ba57ed7… · Android 16de89d019e2….
Versions and status
Version records ship with the signed catalog; the target and released versions are shown below.
- Adaptation
- Ready
- Publication state
- Curated skills are available
- Released version
- 1.0.0