Repository
morluto/jacobian agent skills
- skills
- 11
- GitHub stars
- 211
GitHub description: “Composable mathematics tools for agents”
- Stars
- 211 (18 forks)
- Licence
- MIT
- Last push
- Oct 2026
- Created
- Jul 2026
- ai-agents
- computer-algebra
- formal-methods
- mcp
- mcp-server
- theorem-proving
- lean4
- sympy
- automated-theorem-proving
- formal-verification
- proof-assistant
- math
- model-context-protocol
- python
- symbolic-math
- dsh-plugin
Install all skills
npx skills add morluto/jacobianAdd --skill <name> for a single skill and -a <agent> to choose the agent (see the agent guides).
Skills in morluto/jacobian, ranked
Ranked by score. Sort bymost stars,trending,newest,recently updated
| # | Skill | Repository | Stars | Used in | Tokens | Auto-check | Licence | Updated |
|---|---|---|---|---|---|---|---|---|
| 1 | Evaluate Jacobian reliability using recently resolved conjectures as held-out probes. | morluto/ | 211 | — | ~816 | Automated safety check: Pass | MIT | 4 days ago |
| 2 | Author, package, validate, or run mathematical evaluations as Jacobian Harbor datasets. | morluto/ | 211 | — | ~690 | Automated safety check: Pass | MIT | 4 days ago |
| 3 | Design or audit a Jacobian operation’s mathematical contract, boundedness, exact results, and composition. | morluto/ | 211 | — | ~2k | Automated safety check: Pass | MIT | 4 days ago |
| 4 | Extract reusable Jacobian capabilities from a mathematical solution corpus, rather than one agent trajectory. | morluto/ | 211 | — | ~1.9k | Automated safety check: Pass | MIT | 4 days ago |
| 5 | Investigate MCP tool availability, discovery, and selection, including controlled adoption evaluations. | morluto/ | 211 | — | ~1k | Automated safety check: Pass | MIT | 4 days ago |
| 6 | Review mathematical agent trajectories for evidence-backed Jacobian improvements; do not resume solving. | morluto/ | 211 | — | ~848 | Automated safety check: Pass | MIT | 4 days ago |
| 7 | Design, audit, or repair mathematical benchmark verifiers, submission contracts, and scoring. | morluto/ | 211 | — | ~661 | Automated safety check: Pass | MIT | 4 days ago |
| 8 | Audit a bounded mathematical slice for missing or unusable Jacobian capabilities, beyond a single-operation review. | morluto/ | 211 | — | ~1.5k | Automated safety check: Pass | MIT | 4 days ago |
| 9 | Diagnose malformed calls, retries, and unusable results after an agent selects an MCP tool. | morluto/ | 211 | — | ~1.1k | Automated safety check: Pass | MIT | 4 days ago |
| 10 | Use Jacobian’s typed operations when exact computation or structural analysis can help solve a mathematical problem. | morluto/ | 211 | — | ~214 | Automated safety check: Pass | MIT | 4 days ago |
| 11 | Use Jacobian's MCP operations for nontrivial mathematical computation, finite search, structural analysis, formal checking, probability, or optimization. | morluto/ | 211 | — | ~286 | Automated safety check: Pass | MIT | 4 days ago |
Questions, answered from the data.
What is the best skill in morluto/jacobian?
Recent Conjecture Evaluations from morluto/jacobian ranks first of the 11 skills in morluto/jacobian listed here, with the highest score: its repository has 211 GitHub stars, its SKILL.md loads about 816 tokens and it passes the automated safety check with no findings. Next come Harbor Benchmarks and Audit Public Operation Contracts.
Are the skills in morluto/jacobian official?
None yet. All 11 skills in morluto/jacobian listed here come from community repositories; a skill counts as official when the product's own GitHub organization publishes it.
How do I install all skills from morluto/jacobian?
Run npx skills add morluto/jacobian in your project: the open-source skills CLI installs the repository's skills into your coding agent's skills folder. To install a single skill, open its page here for the exact command.
How are these skills ranked?
By Skill Navigator score, which combines the GitHub stars of the skill's repository (shared across that repo's skills and discounted for large collections), how many other GitHub owners carry a copy of the skill, and automated SKILL.md quality checks, minus penalties for safety-check warnings and for each further skill from the same repository. Skills that fail the safety check are not listed.