jacobian — not yet audited

by morluto · MCP Server · ★ 54

Last updated: · Indexed by AgentSkillsHub · Auto-synced every 8h

About jacobian

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

ai-agentsautomated-theorem-provingcomputer-algebracordisdshdsh-pluginformal-methodsformal-verificationlean4math

Quick Facts

Stars54
Forks9
LanguagePython
CategoryMCP Server
LicenseMIT
Quality Score51.4750320266457/100
Open Issues263
Last Updated2026-08-19
Created2026-07-23
Platformsmcp, python
Est. Tokens~13k

jacobian alternative? Top 6 similar tools

Looking for a jacobian alternative? If you're comparing jacobian with other mcp server tools, these 6 projects are the closest alternatives on Agent Skills Hub — ranked by topic overlap, star count, and community traction.

  • Archon by frenzymath · ⭐ 199

    AI-assisted Lean project automation with DAG blueprints, proof orchestration, and multi-agent coding/proving w

  • google-analytics-mcp by surendranb · ⭐ 235

    Google Analytics 4 data to AI agents, agentic workflows, and MCP clients. Give agents analysis-ready access to

  • mcp by taskade · ⭐ 163

    🤖 Taskade MCP · Official MCP server and OpenAPI to MCP codegen. Build AI agent tools from any OpenAPI API and

  • awesome-deepseek-harness by Dominic789654 · ⭐ 159

    A curated list of plugins, skills, MCP servers, patch/profile layers, orchestrators & UIs for DeepSeek Harness

  • sympy-mcp by sdiehl · ⭐ 79

    A MCP server for symbolic manipulation of mathematical expressions

  • youtube-connector-mcp by ShellyDeng08 · ⭐ 73

    MCP server for YouTube — search videos, get transcripts, channels, and playlists. Works with Claude, Cursor &

More MCP Server Tools

Explore other popular mcp server tools:

View all MCP Server tools →

Popular Python Agent Tools

Frequently Asked Questions

What is jacobian?

jacobian is A universal, atomic library of mathematics and tools for agents to compose them.. It is categorized as a MCP Server with 54 GitHub stars.

What programming language is jacobian written in?

jacobian is primarily written in Python. It covers topics such as ai-agents, automated-theorem-proving, computer-algebra.

How do I install or use jacobian?

You can find installation instructions and usage details in the jacobian GitHub repository at github.com/morluto/jacobian. The project has 54 stars and 9 forks, indicating an active community.

What license does jacobian use?

jacobian is released under the MIT license, making it free to use and modify according to the license terms.

What are the best alternatives to jacobian?

The top alternatives to jacobian on Agent Skills Hub include Archon, google-analytics-mcp, mcp. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.

View on GitHub → Browse MCP Server tools