morluto/jacobian

audit-public-operation-contracts

Design or audit a Jacobian operation’s mathematical contract, boundedness, exact results, and composition.

Quellsprache: Englisch

audit-mathematical-vocabulary

Audit a bounded mathematical slice for missing or unusable Jacobian capabilities, beyond a single-operation review.

Quellsprache: Englisch

audit-mcp-tool-friction

Diagnose malformed calls, retries, and unusable results after an agent selects an MCP tool.

Quellsprache: Englisch

decompose-mathematical-solution-corpora

Extract reusable Jacobian capabilities from a mathematical solution corpus, rather than one agent trajectory.

Quellsprache: Englisch

evaluate-mcp-tool-adoption

Investigate MCP tool availability, discovery, and selection, including controlled adoption evaluations.

Quellsprache: Englisch

harbor-benchmarks

Author, package, validate, or run mathematical evaluations as Jacobian Harbor datasets.

Quellsprache: Englisch

jacobian-math

Use Jacobian’s typed operations when exact computation or structural analysis can help solve a mathematical problem.

Quellsprache: Englisch

learn-from-math-agent-trajectories

Review mathematical agent trajectories for evidence-backed Jacobian improvements; do not resume solving.

Quellsprache: Englisch

recent-conjecture-evaluations

Evaluate Jacobian reliability using recently resolved conjectures as held-out probes.

Quellsprache: Englisch

verifier-evaluations

Design, audit, or repair mathematical benchmark verifiers, submission contracts, and scoring.

Quellsprache: Englisch

jacobian-math

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

Quellsprache: Englisch