OSS Radar
morluto/jacobian
Composable mathematics tools for agents. Why it matters: extends what MCP-compatible assistants can connect to and do.
GitHub description: Composable mathematics tools for agents
Stars
272
Last 24h
+4
Last 7 days
+28est.
Forks
24
Star history
GitHub stars over time. A steeper line means the repo is gaining attention faster.
Last 2 hours · +1 stars
Daily, since Oct 13, 2026 · 268 → 272
* / est. Estimated: until we have enough daily snapshots for a repo, its gain is total stars ÷ days since creation. Measured numbers replace estimates automatically.
Discussed on Hacker News
Hacker News is a popular tech discussion site. 3 stories link to this repo, with 6 upvotes (points) in total.
Jacobian, a high level maths toolkit for agents3 points · 0 comments · Jul 30, 2026See all 3 on HN search →Maintainer? Add the badge to your README
Shows your live OSS Radar rank and links back here. Updates hourly.
[](https://ossradar.net/repo/morluto/jacobian)<a href="https://ossradar.net/repo/morluto/jacobian"><img src="https://ossradar.net/badge/morluto/jacobian" alt="Trending on OSS Radar"></a>About jacobian
morluto/jacobian is a Python project in the MCP category, created 3 months ago. It has 272 GitHub stars and 24 forks, and gained +28 stars over the last 7 days (early estimate), ranking #32 of 35 MCP repos tracked by OSS Radar this week.
See more trending MCP repos or the top AI repos this week.
- Language
- Python
- Category
- MCP
- Created
- Jul 23, 2026
- Last code push
- yesterday (Oct 13, 2026)
- Latest release
- jacobian-v0.23.0 10 days ago
- ai-agents
- automated-theorem-proving
- computer-algebra
- cordis
- dsh
- dsh-plugin
- erdos
- erdos-problem
- formal-methods
- formal-verification
- lean4
- math
- mcp
- mcp-server
- model-context-protocol
- proof-assistant
- python
- symbolic-math
- sympy
- theorem-proving
Similar rising repos
- 1105216375-alt/resimind+98est.
Give your agent checked answers and reusable rules. Neuro-symbolic Agent architecture with verified memory, exact math tools, MCP integration and… Why it matters: extends what MCP-compatible assistants can connect to and do.
- D4Vinci/Scrapling+287est.
An adaptive Web Scraping framework that handles everything from a single request to a full-scale crawl! Don't be shy, join here… Why it matters: extends what MCP-compatible assistants can connect to and do.
- hujjun/mcd-saver-strategist+70est.
麦当劳省钱点餐助手（麦门精算师）｜麦当劳优惠券组合优化 Skill：拉取麦当劳菜单与全部可用优惠券，算出最省的点餐组合，巨无霸套餐 ¥47 → ¥21.9（省 53%）。McDonalds MCP（麦当劳 MCP）coupon optimizer · McDonalds China MCP… Why it matters: extends what MCP-compatible assistants can connect to and do.
- sansan0/TrendRadar+56est.
AI-driven public opinion & trend monitor with multi-platform aggregation, RSS, and smart alerts. 告别信息过载，你的 AI 舆情监控助手与热点筛选工具！聚合多平台热点 + RSS… Why it matters: extends what MCP-compatible assistants can connect to and do.
- morluto/rea+52kest.
Reverse engineer anything with agents, from app behavior down to native binaries. Why it matters: worth a look if you build or run autonomous agents.
- DeusData/codebase-memory-mcp+56est.
High-performance code intelligence MCP server. Indexes codebases into a persistent knowledge graph — average repo in milliseconds. 158 languages… Why it matters: extends what MCP-compatible assistants can connect to and do.