Sign in with GitHub

← Back to Discover

morluto/jacobian

PythonMITactiverising

Health

A universal, atomic library of mathematics and tools for agents to compose them.

Stars63

Forks9

Open Issues185

Contributors9

Last Push0d ago

Health Breakdown

Activity

25

Community

25

Maintenance

2

Popularity

21

#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

View on GitHub ↗Issues (185) ↗Pull Requests ↗Wiki ↗

Should you contribute to morluto/jacobian?

morluto/jacobian has a FoundDev health score of 73/100, which puts it in the active-and-maintained tier. The maintainer team is shipping recently, issues are being closed, and a PR you open this week has a realistic chance of being reviewed.

Last push was 0 days ago — that signals an actively maintained project. New issues are likely to get a maintainer response within days. The project is written primarily in Python, so prior Python experience will shorten ramp-up.

Licensed under MIT, a standard OSI-approved license — safe to contribute to under normal employer IP policies.

Community

morluto/jacobian

PythonMIT

A universal, atomic library of mathematics and tools for agents to compose them.

activerising

★ 639 contributors185 issues

0d ago

More Python repos

sunnypilot/sunnypilot

sunnypilot is an open source driver assistance system. sunnypilot offers the user a unique driving experience for over 350 supported car makes and models with modified behaviors of driving assist engagements. sunnypilot complies with the safety policy from comma.ai's openpilot as accurately as possible.

indmdev/Free-Telegram-Store-Bot

This is 100% Free Shop Bot, Is a Telegram Store Bot you can use for selling your products and services and managing your products and orders. You customers can easily use the Auto Buy Bot to shop on you store with confidence using this Auto shop bot.

ibuilder/massing

Open, self-hosted, IFC-native AEC platform: web BIM viewer + modeling, a ~100-module GC portal (RFIs, pay apps, CPM, construction accounting — double-entry GL/WIP → QuickBooks, e-sign), AI assist, IDS authoring, estimating + embodied carbon, a development proforma, and operate/dispose (CMMS, facility condition, rent roll, waterfall).