메뉴
Use when solving nontrivial mathematical problems or investigating conjectures that may benefit from Jacobian's local library of typed operations for exact computation, finite search, structural analysis, formal reasoning, probability, or optimization.
기본적으로 소스를 먼저 확인하는 Prompt가 선택됩니다. 직접 명령으로 전환하거나 로컬 사본을 다운로드할 수도 있습니다.
설치 여부를 결정하기 전에 SKILL.md와 SkillsMP에 표시된 보조 파일을 읽어 보세요.
Codex 또는 Claude로 설치 이 Prompt를 복사해 Codex, Claude 또는 다른 어시스턴트에 붙여 넣으면 Skill 페이지를 검토하고 설치를 진행할 수 있습니다.
직접 명령은 검토 Prompt를 거치지 않습니다. 실행하기 전에 소스를 확인하세요.
npx skills add https://github.com/morluto/jacobian --skill jacobian-math명령은 한 줄로 유지됩니다. 복사하기 전에 가로로 스크롤해 전체 내용을 확인하세요.
로컬 사본을 원하시나요? SkillsMP에서 현재 제공할 수 있는 파일을 다운로드하세요.
Use Jacobian's MCP operations for nontrivial mathematical computation, finite search, structural analysis, formal checking, probability, or optimization.
Decompose a bounded corpus of mathematical proofs, formalizations, scripts, and certificates into recurring solution techniques and the smallest reusable Jacobian postconditions. Use for repository- or corpus-level “what can Jacobian learn?” audits; do not use for one operation contract or one agent trajectory.
Review completed or paused mathematical agent transcripts, visible reasoning, code, searches, tool calls, corrections, and final claims to extract evidence-backed lessons for Jacobian operations, discovery, contracts, skills, evaluations, and documentation. Use for mathematical workflow retrospectives and "what should we learn from this trajectory?" requests. Do not use to continue solving the problem or infer hidden chain-of-thought.
SOC 직업 분류 기준
SKILL.md 표시 중
| name | jacobian-math |
| description | Use when solving nontrivial mathematical problems or investigating conjectures that may benefit from Jacobian's local library of typed operations for exact computation, finite search, structural analysis, formal reasoning, probability, or optimization. |
Jacobian is a local library of typed mathematical operations for computation and structural analysis.
Use math.find as the library-navigation tool: search for a desired outcome,
browse an unfamiliar domain, or inspect an operation's schema and examples.
Use math.run to execute a selected operation and obtain its typed result.
Feed results into later reasoning, further Jacobian operations, or Python
scratch work as useful.
The operations are composable. Choose the representation, decomposition, order of operations, and stopping point that fit the problem. Reach for the library proactively when exact computation, finite search, or structural analysis may help.
