소스 정보
- 저장소
- parcadei/Continuous-Claude-v3
- 최근 소스 활동
- 2026년 1월 10일 01:54
- 감지된 SKILL.md 언어
- 영어
- 스타
- 3,944
- 포크
- 302
설치 방법
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
소스 파일 검토
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
SKILL.md 표시 중
SKILL.md
소스 지침 · 읽기 전용 미리보기- 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
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
```bash
uv run python -m runtime.harness scripts/sympy_compute.py eigenvalues "[[1,2],[3,4]]"
```
### Sympy_Charpoly
```bash
uv run python -m runtime.harness scripts/sympy_compute.py charpoly "[[a,b],[c,d]]" --var lam
```
### Z3_Verify
```bash
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.
GitHub에서 보기