职业分类
未分类
描述
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 Forks
- 9
这个仓库中的 skills
3 个职业分类 · 已分类 36%
已展示 11 / 11 个已收集 Skill。
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…
原文语言：英语
更新
已展示 11 / 11 个已收集 Skill。