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)27moReviewIntermediate
data-engineering137moReviewAdvanced
crawl4ai218moReviewIntermediate
data-cleaning-pipeline135moReviewIntermediate

Try saying

Example prompts that trigger this skill in your AI assistant.

Search skills

Search the agent skills registry