jacobian-math

Use Jacobian's MCP operations for nontrivial mathematical computation, finite search, structural analysis, formal checking, probability, or optimization.

Ir para a instalação

Repositório: morluto/jacobian
Última atividade na origem: 24 de agosto de 2026 às 14:31
Idioma detectado do SKILL.md: inglês
Estrelas: 60
Forks: 9

Opções de instalação

Por padrão, está selecionado o prompt que primeiro revisa a origem. Você pode mudar para um comando direto ou baixar uma cópia local.

Instalar com Codex ou Claude Copie este prompt, cole no Codex, Claude ou outro assistente e deixe que ele revise a página da skill e instale para você.

Um comando direto ignora o prompt de revisão. Verifique a origem antes de executá-lo.

npx skills add https://github.com/morluto/jacobian --skill jacobian-math

O comando permanece em uma só linha. Role horizontalmente para revisá-lo antes de copiar.

Prefere uma cópia local? Baixe os arquivos disponíveis atualmente no SkillsMP.

Revise os arquivos de origem

Leia o SKILL.md e os arquivos complementares exibidos pelo SkillsMP antes de decidir se vai instalar.

SKILL.md

Instruções da origem · Visualização somente leitura

Voltar à pesquisa Voltar à instalação

decompose-mathematical-solution-corpora

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.

2026-08-23

learn-from-math-agent-trajectories

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.

2026-08-23

audit-mathematical-vocabulary

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 narrower than a repository-wide inventory; do not use for reviewing one changed operation or running a full conjecture evaluation.

2026-08-23

Ver todas deste repositório

name	jacobian-math
description	Use Jacobian's MCP operations for nontrivial mathematical computation, finite search, structural analysis, formal checking, probability, or optimization.

Jacobian mathematics

Use Jacobian when a mathematical task benefits from exact computation or a bounded check. Search with math.find, then execute a selected operation with math.run.

Keep the mathematical reasoning in the agent. Treat operations as atomic instruments: compose their typed results yourself rather than asking discovery to prescribe a proof strategy or workflow.

Before running an operation:

Inspect its exact request schema and mathematical scope with math.find.
Supply canonical mathematical values without backend-specific expressions or ambient contexts.
Respect the operation's declared bounds and distinguish exact results from incomplete, unknown, unavailable, or transport outcomes.

Use returned values and certificates only for the conclusion they establish. Absence of a witness, a timeout, or an incomplete search is not a proof of a global mathematical claim.

jacobian-math

Informações da origem

Opções de instalação

Revise os arquivos de origem

Mais deste repositório

Mais deste repositório

Jacobian mathematics

Jacobian mathematics