Manus에서 모든 스킬 실행
원클릭으로
원클릭으로
원클릭으로 Manus에서 모든 스킬 실행
시작하기fields
Problem-solving strategies for fields in abstract algebra
스타3,803
포크296
업데이트2026년 1월 10일 01:54
SKILL.md
readonly메뉴
Problem-solving strategies for fields in abstract algebra
| name | fields |
| description | Problem-solving strategies for fields in abstract algebra |
| allowed-tools | ["Bash","Read"] |
Use this skill when working on fields problems in abstract algebra.
Is F a field?
z3_solve.py prove "field_axioms"Field Extensions
sympy_compute.py minpoly "alpha" --var x for minimal polynomialCharacteristic
Algebraic Elements
sympy_compute.py solve "p(alpha) = 0" for algebraic relationsuv run python -m runtime.harness scripts/z3_solve.py prove "field_axioms"
uv run python -m runtime.harness scripts/sympy_compute.py minpoly "sqrt(2)" --var x
uv run python -m runtime.harness scripts/sympy_compute.py solve "x**2 - 2" --var x
From indexed textbooks:
See .claude/skills/math-mode/SKILL.md for full tool documentation.
Create git commits with user approval and no Claude attribution
Create or update continuity ledger for state preservation across clears
Create handoff document for transferring work to another session
Generate comprehensive PR descriptions following repository templates
Deep interview process to transform vague ideas into detailed specs. Works for technical and non-technical users.
Search Mathlib for lemmas by type signature pattern