Skip to main content
SkillsLLM
Categories
Blog
AI News
About
jacobian vs superpowers - AI Skills Comparison | SkillsLLM
Home
Compare
jacobian vs superpowers
jacobian vs superpowers
Side-by-side AI skills comparison
jacobian
morluto
superpowers
obra
Stars
51
234,966
Forks
9
20,863
Language
Python
Shell
Category
AI Agents
AI Agents
Security
Pending
Verified
SKILL.md
Votes
0
14
Bookmarks
0
21
Topics
ai-agents
automated-theorem-proving
computer-algebra
cordis
dsh
dsh-plugin
Description
Pure mathematics for agents: search for examples and counterexamples, compute exactly, and independently check what a result proves.
An agentic skills framework & software development methodology that works.
View jacobian
View superpowers
formal-methods
formal-verification
lean4
math
mcp
mcp-server
model-context-protocol
proof-assistant
python
smt-solver
symbolic-math
sympy
theorem-proving
z3
ai
brainstorming
coding
obra
sdlc
skills
subagent-driven-development
superpowers