Provides tools and strategies for solving linear algebra eigenvalue problems.

Install

mkdir -p .claude/skills/eigenvalues && curl -L -o skill.zip "https://agentskills.codes/api/skills/download/1943" && unzip -o skill.zip -d .claude/skills/eigenvalues && rm skill.zip

Installs to .claude/skills/eigenvalues

Activation

This is the description your AI agent reads to decide when to run this skill — the better it matches your request, the more reliably it fires.

Problem-solving strategies for eigenvalues in linear algebra
60 charsno explicit “when” trigger
Intermediate

Key capabilities

  • →Compute characteristic polynomials
  • →Calculate eigenvalues for matrices
  • →Find eigenvectors for given eigenvalues
  • →Verify matrix operations using Z3

How it works

The skill utilizes Sympy for symbolic computation of polynomials and eigenvalues, and Z3 for verifying the correctness of the results.

Inputs & outputs

You give it
Matrix representation
You get back
Eigenvalues or eigenvectors

When to use eigenvalues

  • →Calculating eigenvalues
  • →Finding eigenvectors
  • →Verifying matrix operations

About this skill

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
  2. Find Eigenvalues

    • Solve characteristic polynomial
    • sympy_compute.py eigenvalues "[[1,2],[3,4]]"
  3. Find Eigenvectors

    • For each eigenvalue lambda: solve (A - lambda*I)v = 0
    • sympy_compute.py eigenvectors "[[1,2],[3,4]]"
  4. 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.

When not to use it

  • →Non-linear algebra mathematical problems
  • →Large-scale numerical matrix inversion

Limitations

  • →Limited to linear algebra applications
  • →Symbolic computation complexity increases with matrix size

How it compares

It provides a programmatic, verifiable approach to linear algebra problems instead of manual calculation.

Compared to similar skills

eigenvalues side by side with the closest alternatives in the catalog.

SkillInstallsUpdatedSafetyDifficulty
eigenvalues (this skill)28moReviewIntermediate
data-engineering139moReviewAdvanced
crawl4ai2110moReviewIntermediate
data-cleaning-pipeline137moReviewIntermediate

Try saying

Example prompts that trigger this skill in your AI assistant.

Search skills

Search the agent skills registry