Qedra runs on your own machine — the client starts it, so there is no endpoint to ping. Last commit 6 Nov 2026.
Computer algebra with verifiable answers
What the code does
We read the source, 20 h ago · rules 995398eba69f
What this server is able to do. For an MCP server this is often the job itself — a terminal server runs commands because that is what it is for. Listed so you know what you are plugging in, not as an accusation.
const p = spawnSync(EXE, ['--math', '-e', input], { encoding: 'utf8', timeout: 120000 })
const first = JSON.parse(await window.lispEval('2x+1', 'math'))
Is this your server and something here is wrong? Tell us — corrections are free and do not require a plan.
This code can reach further than it looks
We found places where it runs commands, builds paths or queries from values it is given. None of that is a flaw by itself — it becomes one when the code changes, and code changes quietly between releases. We re-read it on every one.
Alternatives to Qedra
same job, measured the same wayMCP server for Slovak legislation (Slov-lex) with ELI and verifiable citations.
MCP server for Maltese legislation (legislation.mt) with ELI and verifiable citations.
Exact rational and algebraic computation, with machine-readable Word contracts, in Ajisai.
MCP server for the Irish Statute Book: acts and SIs with verifiable ELI citations.
Compact, citation-verifiable public web context for AI agents, paid per use with x402.
This MCP server enables users to perform scientific computations regarding linear algebra and vect…
Pre-computed answers with sources and confidence, paid per call over x402 (USDC on Base).
Securely control paired computers with ReMCP.
Qedra — questions
Answers built from our own checks of this server.