jacobian — security grade SAFE, quality 65/100

Security audit verdict: SAFE · quality 65/100

No red flags found in any of the 11 categories — no credential harvesting, no data exfiltration, no curl-pipe-shell installer. Scanned against the SlowMist agent-security taxonomy, refreshed every 8 hours. Full audit →

by morluto · MCP Server · ★ 196

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

🔒 Is jacobian safe to install? View the security audit →

About jacobian

English · 简体中文 Jacobian An executable mathematical vocabulary for agents: discover one typed operation, run it, and compose its result. Jacobian is an MCP server that gives AI agents a searchable vocabulary of typed mathematical operations. matches a mathematical need or inspects one exact contract, and executes it and returns its typed result. The same mathematical library is also available through a CLI and native Python API. Each operation

ai-agentsautomated-theorem-provingcomputer-algebracordisdshdsh-pluginerdoserdos-problemformal-methodsformal-verification

Quick Facts

Stars196
Forks14
LanguagePython
CategoryMCP Server
LicenseMIT
Quality Score65.0855801961976/100
Open Issues96
Last Updated2026-10-04
Created2026-07-23
Platformsmcp, python
Est. Tokens~15k

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.

  • agent-skills by youdotcom-oss · ⭐ 82

    You.com skills and plugins for web search, content extraction, research, finance, and integration discovery, h

  • maverick-mcp by wshobson · ⭐ 678

    MaverickMCP - Personal Stock Analysis MCP Server

  • open-ontologies by fabio-rovai · ⭐ 548

    Plan, apply and roll back changes to a production ontology, with a blast radius report and a proof an auditor

  • roam-code by Cranot · ⭐ 517

    Local codebase intelligence CLI + MCP server for AI coding agents: SQLite code graph, 28 languages, 287 comman

  • memtrace-public by syncable-dev · ⭐ 487

    Structural memory for AI coding agents. Bi-temporal graph, MCP-native, zero LLM calls. Cursor · Claude Code ·

  • Archon by frenzymath · ⭐ 199

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

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 Composable mathematics tools for agents. It is categorized as a MCP Server with 196 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 196 stars and 14 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 agent-skills, maverick-mcp, open-ontologies. Each offers a different approach to the same problem space — compare them side-by-side by stars, quality score, and community activity.

How this security grade is produced

Grades come from a rule-based scan built on the SlowMist agent-security taxonomy, covering 11 red-flag categories including credential harvesting, data exfiltration, and curl | sh installers. It is a first-layer scan, not a manual audit — we say so rather than overstate it.

The scale of the problem is documented independently: Liu et al. (2026), in a study of 31,132 agent skills, report that 26.1% contain security vulnerabilities. Our own full-catalog census is published as a citable open dataset.

Sources & who's responsible:

View on GitHub → Browse MCP Server tools