CtrlK
BlogDocsLog inGet started
Tessl Logo
SkillPublic

sympy

Performs exact symbolic mathematics with SymPy for algebra, calculus, equation solving, symbolic linear algebra, physics, and lambdify or LaTeX code generation. Use when a task needs symbolic results, explicit assumptions, or exact arithmetic; use NumPy or SciPy for purely numerical workloads.

Quality

87%

Does it follow best practices?

Run evals on this skill

Adds up to 20 points to the overall score

View guide
SecuritybySnyk

Passed

No findings from the security scan

SKILL.md
Quality
Evals
Security

Quality

Content

75%Weight 40%Scale 1-5

Reviews the quality of instructions and guidance provided to agents. Good implementation is clear, handles edge cases, and produces reliable results.

A strong, highly actionable reference skill with excellent executable examples, SymPy-specific pitfalls (ConditionSet vs EmptySet, `==` vs `Eq`, parse_expr security), and well-signaled one-level-deep references. Its weaknesses are redundancy (duplicated examples and file listings, an explanatory Overview paragraph) and a confusing duplicate core-capabilities file pair with inconsistent naming.

Suggestions

Conciseness: remove duplicated content — the 'Getting Started Examples' section repeats examples already shown (the same quadratic solved in Pattern 1) and 'Reference Files Structure' duplicates the file listing from 'Core Capabilities'; keep one canonical listing with the 'Load when' guidance, and drop the Overview paragraph defining symbolic mathematics plus the generic 'With Matplotlib' plotting example that just plots a lambdified function.

Progressive disclosure: consolidate the two overlapping core-capabilities files (`core_capabilities.md` hub vs `core-capabilities.md` detailed treatment) into a single consistently named file; the interchangeable hyphen/underscore links in SKILL.md invite broken references and confuse navigation.

Workflow clarity: add in-pattern recovery guidance (e.g., in Pattern 1, what to do when a candidate solution fails verification, such as re-checking assumptions or the solution domain) to close the gap between validation checkpoints and full feedback loops.

DimensionReasoningScore

Conciseness

The body is mostly SymPy-specific and code-dense, but contains real padding: the Overview paragraph explains what symbolic mathematics is, the same quadratic (x**2 - 5*x + 6) is solved in both Pattern 1 and Example 1, the reference-file listing appears twice ("Core Capabilities" and "Reference Files Structure"), and the Matplotlib integration example is generic plotting Claude already knows. These duplications go beyond the 'minor instances' of the level-4 anchor, so it sits at level 3.

3 / 5

Actionability

Nearly all guidance is executable, copy-paste-ready Python: installation commands, symbol creation with assumptions, solver selection with domain declarations, lambdify pipelines, and verification asserts (e.g., `assert status == 1` and `assert abs(f(solution[0])) < 1e-10` in the SciPy example). Common cases are covered with concrete, correct code.

5 / 5

Workflow Clarity

Pattern 1 (solve then verify solutions) and Pattern 2 (numbered 4-step symbolic-to-numeric pipeline) present clear sequences with validation checkpoints, and the Troubleshooting section maps common errors to fixes. It falls short of level 5 because the patterns themselves lack in-pattern recovery loops (e.g., what to do when verification fails) and there are no checklists for complex processes.

4 / 5

Progressive Disclosure

Structure is good: SKILL.md is an overview, references are one level deep, and "Load when" guidance signals when to open each file. However, two overlapping files (`core_capabilities.md` hub vs `core-capabilities.md` detailed) use inconsistent hyphen/underscore naming that SKILL.md links to interchangeably, and the file structure is enumerated twice in separate sections — organization gaps that keep it below the level-5 anchor.

4 / 5

Total

16

/

20

Passed

Description

92%Weight 40%Scale 1-5

Based on the skill's description, can an agent find and select it at the right time? Clear, specific descriptions lead to better discovery.

An excellent description: concrete, comprehensive, third-person, with an explicit "Use when..." trigger clause and a boundary statement that routes purely numerical work to NumPy/SciPy. The only improvement would be adding a few more natural synonyms (simplify, integrate, differentiate) that users would say when needing symbolic work.

DimensionReasoningScore

Specificity

"Performs exact symbolic mathematics with SymPy for algebra, calculus, equation solving, symbolic linear algebra, physics, and lambdify or LaTeX code generation" lists multiple concrete actions spanning essentially all major capability areas, matching the comprehensive level-5 anchor rather than the 'minor gaps' of level 4.

5 / 5

Completeness

It explicitly answers both questions: the "what" ("Performs exact symbolic mathematics with SymPy for..." with enumerated capabilities) and the "when" ("Use when a task needs symbolic results, explicit assumptions, or exact arithmetic") with concrete trigger phrases, exactly matching the level-5 anchor.

5 / 5

Trigger Term Quality

Good natural keyword coverage — "equation solving", "calculus", "symbolic", "exact arithmetic", "LaTeX", "physics" — and the negative trigger ("use NumPy or SciPy for purely numerical workloads") aids routing. It falls short of level 5 because common synonyms users would actually say, such as "simplify", "integrate", or "differentiate", are absent.

4 / 5

Distinctiveness Conflict Risk

It names the specific library, occupies a clear niche (symbolic vs numerical), and explicitly disambiguates from the closest competing skills ("use NumPy or SciPy for purely numerical workloads"), giving minimal conflict risk per the level-5 anchor.

5 / 5

Total

19

/

20

Passed

Validation

100%

Checks the skill against the spec for correct structure and formatting. All validation checks must pass before discovery and implementation can be scored.

Validation — 16 / 16 Passed

Validation for skill structure

No warnings or errors.

Repository

K-Dense-AI/scientific-agent-skills

Path

skills/sympy/SKILL.md

Reviewed

Table of Contents

Is this your skill?

If you maintain this skill, you can claim it as your own. Once claimed, you can manage eval scenarios, bundle related skills, attach documentation or rules, and ensure cross-agent compatibility.