Jacobian MCP server | PlugMCP

Skip to content

Directory Skills Categories Blog

Sign in Sign up

Directory/morluto

J

MCP server

Jacobian

Composable mathematics tools for agents

by morluto259 starsMITGitHub

ai-agents automated-theorem-proving computer-algebra cordis dsh dsh-plugin erdos erdos-problem formal-methods formal-verification lean4 math

Power your agent

Add this server

Install from the publisher. Not a PlugMCP endpoint.

No packaged release in the registry yet. Follow the repository README.

Provider

Step-by-step: add this in Claude

Remote URL or a command on your machine? How the two installs differ

Run on PlugMCP

Host a copy with our keys and logs.

A new server you create. It is not this listing's official endpoint. Use the publisher install when you want their URL and their credentials.

Related MCP

More like this

Editor
pascalorg
Open-source 3D architectural editor with a local CLI, MCP tools, and practical workflows for humans and AI agents.
25k starsLocal3dagent-skills
Trigger.dev
triggerdotdev
Trigger.dev – build and deploy durable AI agents and workflows
17k starsLocalai-agent-framework

Plug any tool into any agent. MCP servers for people who do not write servers. Gateway for volume, n8n for apps.

PlugMCP, 2026

Product

Browse
Install
Host your own
Voice mode
Browser

Directory

All MCP servers
Agent skills
Categories
New
Voice
Submit a server

Developers

Docs
Blog
What is MCP
What is WebMCP
Status

Company

About
Contact
Terms
Privacy
DPA
[email protected]

ai-agents

Hexstrike Ai

HexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug boun

13k starsLocal0x4m4ai-agents

Composable mathematics tools for agents

Suggested

EditorOpen-source 3D architectural editor with a local CLI, MCP tools, and practical workflows for humans and AI agents.
Trigger.devTrigger.dev – build and deploy durable AI agents and workflows
Hexstrike AiHexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug boun

README is not crawled yet. Open the repository

Suggested

EditorOpen-source 3D architectural editor with a local CLI, MCP tools, and practical workflows for humans and AI agents.
Trigger.devTrigger.dev – build and deploy durable AI agents and workflows
Hexstrike AiHexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug boun

No FAQ yet. Enrichment fills this from the README on the next crawl.

Suggested

EditorOpen-source 3D architectural editor with a local CLI, MCP tools, and practical workflows for humans and AI agents.
Trigger.devTrigger.dev – build and deploy durable AI agents and workflows
Hexstrike AiHexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug boun

No tool list yet. Remote servers get one after the first health check.

Suggested

EditorOpen-source 3D architectural editor with a local CLI, MCP tools, and practical workflows for humans and AI agents.
Trigger.devTrigger.dev – build and deploy durable AI agents and workflows
Hexstrike AiHexStrike AI MCP Agents is an advanced MCP server that lets AI agents (Claude, GPT, Copilot, etc.) autonomously run 150+ cybersecurity tools for automated pentesting, vulnerability discovery, bug boun