Search

Research & Science · By morluto

9 skills found.
Search results
#SkillRepositoryStarsUsed inTokensAuto-checkLicenceUpdated
1

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

morluto/jacobian220—~816Automated safety check: PassMIT6 days ago
2

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

morluto/jacobian220—~690Automated safety check: PassMIT6 days ago
3

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

morluto/jacobian220—~2kAutomated safety check: PassMIT6 days ago
4

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

morluto/jacobian220—~1.9kAutomated safety check: PassMIT6 days ago
5

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

morluto/jacobian220—~848Automated safety check: PassMIT6 days ago
6

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

morluto/jacobian220—~661Automated safety check: PassMIT6 days ago
7

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

morluto/jacobian220—~1.5kAutomated safety check: PassMIT6 days ago
8

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

morluto/jacobian220—~214Automated safety check: PassMIT6 days ago
9

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

morluto/jacobian220—~286Automated safety check: PassMIT6 days ago