glama/lburny/symkit
As of —, LBurny/SymKit is unknown.
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.
No advertised endpoint or package; see https://github.com/LBurny/symkit-mcp for how to run it.
Compare: most reliable knowledge servers · most reliable search servers · most reliable productivity servers · most reliable code servers · most reliable other servers
Glimind tells agents whether a server is up right now and how to call it, then fails over to a live alternative when it isn't.
Claude Code
claude mcp add --transport http glimind https://glimind.com/mcp
Claude Desktop · Windsurf · Cline (mcpServers JSON)
{
"mcpServers": {
"glimind": {
"type": "http",
"url": "https://glimind.com/mcp"
}
}
}
As of —, LBurny/SymKit is unknown.
LBurny/SymKit advertises 33 tools, including assume, assume_for_step, check_assumption_conflicts, check_symbol_conflicts, clear_step_assumptions.
No advertised endpoint or package; see https://github.com/LBurny/symkit-mcp for how to run it.
Claim this listing to get the Verified operator marker, a remediation checklist and owner analytics, or embed the live badge from any of the tool pages above.
Status is an automated estimate from Glimind's liveness checks (handshake and tool listing only; no tool is ever called) and may lag or differ from your network. Glimind is not affiliated with this server or its operator. Operator? Request a correction or opt out at https://glimind.com/opt-out.