smithery.ai

eigenvalues

Problem-solving strategies for eigenvalues in linear algebra

First seen Mar 21, 2026

Installation

$ npx skills add https://smithery.ai

Also in this package

Other skills from smithery.ai · top by installs.

npx skills add https://smithery.ai

Browse all from smithery.ai

More details

Agent compatibility

Declared targets from SKILL.md / docs. Unmarked agents are not listed — the skill may still install via the CLI.

Claude Code Declared
Cursor Not declared
Codex Not declared
GitHub Copilot Not declared
Windsurf Not declared
Gemini CLI Not declared
Cline Not declared
OpenCode Not declared

Skill metadata

Parsed from SKILL.md frontmatter.

Allowed toolsBash, Read
Declared agents claude-code

Package contents

Files included with this skill beyond the listing page.

  • skill md SKILL.md 1,216 B
  • docs SUMMARY.md 79 B

History

  1. First seen on skills.sh
  2. First recorded snapshot · 1 installs

SKILL.md

Eigenvalues

When to Use

Use this skill when working on eigenvalues problems in linear algebra.

Decision Tree

  1. Compute Characteristic Polynomial

- det(A - lambda*I) = 0 - sympy_compute.py charpoly "[[a,b],[c,d]]" --var lam

  1. Find Eigenvalues

- Solve characteristic polynomial - sympy_compute.py eigenvalues "[[1,2],[3,4]]"

  1. Find Eigenvectors

- For each eigenvalue lambda: solve (A - lambda*I)v = 0 - sympy_compute.py eigenvectors "[[1,2],[3,4]]"

  1. Verify

- Check Av = lambda*v with z3_solve.py prove - Verify algebraic/geometric multiplicity

Tool Commands

Sympy_Eigenvalues

uv run python -m runtime.harness scripts/sympy_compute.py eigenvalues "[[1,2],[3,4]]"

Sympy_Charpoly

uv run python -m runtime.harness scripts/sympy_compute.py charpoly "[[a,b],[c,d]]" --var lam

Z3_Verify

uv run python -m runtime.harness scripts/z3_solve.py sat "det(A - lambda*I) == 0"

Cognitive Tools Reference

See .claude/skills/math-mode/SKILL.md for full tool documentation.