직업 분류
미분류
설명
Use Jacobian's MCP operations for nontrivial mathematical computation, finite search, structural analysis, formal checking, probability, or optimization.
원문 언어: 영어
업데이트
morluto/jacobian
SkillsMP는 morluto/jacobian에서 11개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
- 최근 기록된 소스 활동
- SkillsMP 카탈로그 업데이트
- 수집된 skills
- 11
- GitHub 스타
- 60
- GitHub 포크
- 9
이 저장소의 skills
직업 카테고리 3개 · 36% 분류됨
수집된 skill 11개 중 11개를 표시합니다.
skill
직업 분류
설명
업데이트
직업 분류
미분류
설명
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…
원문 언어: 영어
업데이트
직업 분류
미분류
설명
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.…
원문 언어: 영어
업데이트
직업 분류
미분류
설명
Audit one bounded Jacobian mathematical slice for missing or unusable executable vocabulary using source demand, catalog composition, contract evidence, and maintained-backend feasibility. Use for proactive gap audits that are broader than one operation but…
원문 언어: 영어
업데이트
직업 분류
미분류
설명
Audit new or existing Jacobian mathematical operations for public-domain mismatches, hidden work expansion, evidence-backed scale or backend improvements, lossy exact results, source-unbound conclusions, and producer-consumer incompatibility. Use for…
원문 언어: 영어
업데이트
직업 분류
미분류
설명
Build, validate, and run Jacobian evaluations packaged as Harbor datasets. Use when authoring or changing Harbor tasks, independent verifiers, Oracle jobs, workflow fixtures, task digests, or evaluation handoffs.
원문 언어: 영어
업데이트
직업 분류
미분류
설명
Audit existing MCP tools for execution friction after an agent has reached the tool. Use when reviewing public JSON Schemas, Pydantic validation, operation examples, error recovery, completed agent traces, or benchmark runs to explain malformed calls,…
원문 언어: 영어
업데이트
직업 분류
소프트웨어 개발자
설명
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.
원문 언어: 영어
업데이트
직업 분류
소프트웨어 품질 보증 분석가·테스터
설명
Design, audit, and repair fail-closed mathematical verifiers and evaluation contracts, including public schemas, frozen-input binding, task-specific witnesses, diagnostic scoring, adversarial fixtures, and Oracle validation. Use when a verifier can crash,…
원문 언어: 영어
업데이트
직업 분류
기타 컴퓨터 관련 직업
설명
Diagnose whether agents can see, discover, select, and correctly execute MCP tools without conflating those stages. Use when investigating why agents did or did not use an MCP tool, evaluating MCP server instructions or tool descriptions, testing…
원문 언어: 영어
업데이트
직업 분류
기타 컴퓨터 관련 직업
설명
Run source-grounded Jacobian reliability evaluations using recently resolved conjectures as held-out probes. Use for source selection and deduplication, exact input-bound oracles, current-main math.find/math.run contract audits, frozen control/treatment…
원문 언어: 영어
업데이트
수집된 skill 11개 중 11개를 표시합니다.