SymKit

Item: SymKit
Rating: 69
Author: M8ven

MCP server for symbolic computation that enables AI agents to perform step-by-step derivations, transform formulas, and verify results with full provenance, combining natural language with formal mathematical operations.

→ LBurny/symkit-mcp · listed on glama

Is this your MCP?

Claim it to get a verified publisher badge, a free copy of our full audit findings, and direct contact for any high-priority issues we find.

Install from

Glama

M8ven verifies MCPs across every public registry — install directly from whichever one you prefer.

// key findings

✅

No credential exfiltration, no sensitive file access, no obfuscation

Static analysis found nothing flowing your secrets to unexpected places.

✅

Open source with a license and README

Anyone can audit the code, the license is declared, and the publisher documents what it does.

// required environment variables

This server reads these from process.env. You'll be asked to provide them before it can run.

configSYMKIT_DATA_DIR— ~/Library/Application Support/symkit (macOS). Set the

// full audit trail

The full breakdown of what we checked, the deductions that landed, the network hosts, the dependency advisories, and concrete fix guidance is available to verified publishers.

// improvement guidance — verified publishers only

We have 5 concrete improvements we can share with the publisher of this MCP. Each comes with specific guidance to raise the trust score.

// embed badge in your README

[![M8ven Score](https://m8ven.ai/badge/mcp/lburny-symkit-mcp-ewn8i2)](https://m8ven.ai/mcp/lburny-symkit-mcp-ewn8i2)

commit: c0ce019ae9047f5b38f9ab02cf845a790c4a9a14

code hash: 2a81dce8d08a7ac0ee3c4c7f95b2dbfdc864df5be9883c15221f7bdad895191e

verified: 7/9/2026, 10:03:20 AM

view raw JSON →