Agent Skills
› parcadei/Continuous-Claude-v3
› eigenvalues
eigenvalues
GitHub提供线性代数中特征值问题的解题策略，涵盖计算特征多项式、求解特征值与特征向量及验证步骤，支持使用 Sympy 和 Z3 工具完成数学计算与逻辑证明。
Trigger Scenarios
需要计算矩阵的特征值
需要求解特征向量
涉及线性代数中的特征多项式推导
Install
npx skills add parcadei/Continuous-Claude-v3 --skill eigenvalues -g -y
SKILL.md
Frontmatter
{
"name": "eigenvalues",
"description": "Problem-solving strategies for eigenvalues in linear algebra",
"allowed-tools": [
"Bash",
"Read"
]
}
Eigenvalues
When to Use
Use this skill when working on eigenvalues problems in linear algebra.
Decision Tree
-
Compute Characteristic Polynomial
- det(A - lambda*I) = 0
sympy_compute.py charpoly "[[a,b],[c,d]]" --var lam
-
Find Eigenvalues
- Solve characteristic polynomial
sympy_compute.py eigenvalues "[[1,2],[3,4]]"
-
Find Eigenvectors
- For each eigenvalue lambda: solve (A - lambda*I)v = 0
sympy_compute.py eigenvectors "[[1,2],[3,4]]"
-
Verify
- Check Av = lambda*v with
z3_solve.py prove - Verify algebraic/geometric multiplicity
- Check Av = lambda*v with
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.
Version History
- d07ff4b Current 2026-08-20 12:48
