Skip to main content
SkillsLLM
Categories
Blog
AI News
About
hermes-agent vs jacobian - AI Skills Comparison | SkillsLLM
Home
Compare
hermes-agent vs jacobian
hermes-agent vs jacobian
Side-by-side AI skills comparison
hermes-agent
NousResearch
jacobian
morluto
Stars
231,592
51
Forks
46,068
9
Language
Python
Python
Category
AI Agents
AI Agents
Security
Verified
Pending
SKILL.md
Votes
7
0
Bookmarks
18
0
Topics
ai
ai-agent
ai-agents
anthropic
chatgpt
claude
Description
The agent that grows with you
Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
View hermes-agent
View jacobian
claude-code
codex
hermes
hermes-agent
llm
nous-research
openai
ai-agents
automated-theorem-proving
computer-algebra
cordis
dsh
dsh-plugin
formal-methods
formal-verification
lean4
math
mcp
mcp-server
model-context-protocol
proof-assistant
python
smt-solver
symbolic-math
sympy
theorem-proving
z3