io.github.daedalus/mcp-parigp
PYPI · MCP-PARIGP
MCP server exposing cypari2 (PARI/GP) number theory library
Available components
Last scanned (15 hours ago)
Scores higher than 73% of PyPI servers
Category Health and Science
How this component scores in each security and reliability category. Every signal is checked automatically from public evidence about the published package, including repeated runs of it in an isolated sandbox, and we only credit what we can confirm. How we score → Why this is hard to score →
Supply Chain Security50
- Malware scan not yet available for this package.Unverified
- No known CVEs affecting this package version or its production dependencies.Pass
- Runs hatchling.build at install time, a recognised build step with no custom scripting around it. View diagnostics → Pass
- 1 of 17 dependencies flagged as unhealthy. View diagnostics → Partial
Provenance & Transparency96
- Source repository is publicly reachable at the declared URL. View diagnostics → Pass
- Cryptographically verified build provenance (signed, bound to daedalus/mcp-parigp). View diagnostics → Pass
- Clear OSI-approved license (MIT).Pass
- Actively maintained (last published 219 days ago).Pass
- Disclosure check failed: no security disclosure policy was found in the source repository. See how to fix → Fail
Schema Quality & AI Usability65
- AI-judged instruction clarity (good).Pass
- Tool/resource definitions use about 4981 tokens (~34/item across 143 items; 143 tools + 0 resources), lean.Pass
- Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management100
- No destabilizing schema changes in the last 30 days.Pass
Tool Coverage100
- 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
- 99% of tool parameters carry a description.Partial
- Structured output schemas are declared (29% of tools); any adoption earns full credit.Pass
Tool Safety75
- No prompt-injection markers were found in the server instructions, tool names or descriptions we captured.Pass
- 0 of 2 tool(s) whose name or description implies an irreversible operation declare an MCP destructiveHint annotation; "eval_expression" implies "eval" and declares no destructiveHint at all, which the MCP spec reads as destructive by default. See how to fix → Fail
- An AI judge read all 143 captured unit(s) of tool text and found none that tries to manipulate the model reading it.Pass
Capabilities100
- Implements a current MCP spec version (2026-07-28).Pass
Every change we have recorded for this component, newest first. Security-relevant changes are always shown. ▲ marks a change for the better, ▼ a change for the worse; unmarked changes are neutral.
- 3 Nov 26 −15
- Malware scan: pass → unverified ▼ security
- 31 Oct 26 +15
- Malware scan: unverified → pass ▲ security
- 30 Oct 26 −15
- Malware scan: pass → unverified ▼ security
- Stability: 0.97 → pass security
- 29 Oct 26 +1
No change was recorded against any check on this day. Stability & Change Management went from 93 to 97. That category is still filling its 30-day observation window: 28 days of observed history at the previous scan, 29 at this one. The score rises as the window fills, whether or not the server changes.
- 28 Oct 26 −1
- Stability: pass → 0.93 functional
- 27 Oct 26 +15
- Malware scan: unverified → pass ▲ security
- 26 Oct 26 −15
- Malware scan: pass → unverified ▼ security
- 25 Oct 26 +15
- Malware scan: unverified → pass ▲ security
Diagnostic detail from the automated scan of this channel: what the scanner observed at each step, so you can see exactly where a check passed or failed. It is informational only and never changes the trust score.
Captured 4 Nov 2026 · Analysed pypi/mcp-parigp@0.1.0
Provenance Verified
A signed build attestation was found and verified, binding this exact artifact to the source repository it claims to come from.
| Result | Verified |
|---|---|
| Ecosystem | pypi |
| Reason | Verified |
| Discovered via | Registry attestation endpoint |
| Source repo | daedalus/mcp-parigp |
| Certificate issuer | https://token.actions.githubusercontent.com |
| Certificate SAN | https://github.com/daedalus/mcp-parigp/.github/workflows/pypi-publish.yml@refs/tags/v0.1.0 |
| Rekor log index | 1197329692 |
| Predicate type | PyPI publish attestation https://docs.pypi.org/attestations/publish/v1 |
| Subject digest | sha256:d77786696ec5d7d3ba22c472e858d58b84ec63b7b170f62815c116934ebbd9ad |
Background: How many MCP packages publish verified provenance →
Install scripts 1 script
| Hook | Tier | Command |
|---|---|---|
| build_backend | allowlisted | hatchling.build |
Background: Why install scripts are a supply-chain risk →
Dependencies 17 packages
| Packages resolved | 17 |
|---|---|
| Stale | 1 |
| Tree resolution | Complete |
Background: SBOMs and build attestations, explained →
The tools this component advertises to a client, with an estimated token cost for each. Expand a tool to see its parameters and schema. The per-tool counts are indicative and are not scored directly; the schema's total context footprint is one signal in Schema Quality & AI Usability. A tool's description is untrusted text the model reads on every call, which is what makes this list a security surface and not just an inventory: how tool poisoning works →
abs Abs ~28
Compute absolute value.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number or object. |
No output schema declared.
No examples provided.
acos Acos ~34
Compute arccosine.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number in [-1, 1]. |
No output schema declared.
No examples provided.
acosh Acosh ~33
Compute inverse hyperbolic cosine.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number >= 1. |
No output schema declared.
No examples provided.
addprimes Addprimes ~36
Add primes to the factorisation table.
| Name | Type | Req | Description |
|---|---|---|---|
| primes | array | – | List of primes to add (or None to get current list). |
No output schema declared.
No examples provided.
agm Agm ~47
Compute the arithmetic-geometric mean.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | First number. |
| y | – | – | Second number (if None, uses x and 1). |
No output schema declared.
No examples provided.
airy Airy ~25
Compute Airy functions Ai(z) and Bi(z).
| Name | Type | Req | Description |
|---|---|---|---|
| z | – | yes | Complex argument. |
No output schema declared.
No examples provided.
algdep Algdep ~52
Find polynomial of degree k with integer coefficients approximating x.
| Name | Type | Req | Description |
|---|---|---|---|
| flag | integer | – | Optional accuracy flag. |
| k | integer | yes | Degree of polynomial. |
| x | – | yes | Real/complex/p-adic number. |
No output schema declared.
No examples provided.
allocatemem Allocatemem ~58
Change the PARI stack size.
| Name | Type | Req | Description |
|---|---|---|---|
| size | integer | – | New stack size in bytes. If 0, doubles current size. |
| sizemax | integer | – | Maximum stack size in bytes. If 0, uses current maximum. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
asin Asin ~32
Compute arcsine.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number in [-1, 1]. |
No output schema declared.
No examples provided.
asinh Asinh ~30
Compute inverse hyperbolic sine.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number. |
No output schema declared.
No examples provided.
atan Atan ~27
Compute arctangent.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number. |
No output schema declared.
No examples provided.
atanh Atanh ~36
Compute inverse hyperbolic tangent.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number in (-1, 1). |
No output schema declared.
No examples provided.
bessel Bessel ~39
Compute the Bessel function J_nu(x).
| Name | Type | Req | Description |
|---|---|---|---|
| nu | – | yes | Order. |
| precision | integer | – | Optional precision. |
| x | – | yes | Argument. |
No output schema declared.
No examples provided.
besselh Besselh ~40
Compute the Bessel function H_nu(x).
| Name | Type | Req | Description |
|---|---|---|---|
| nu | – | yes | Order. |
| precision | integer | – | Optional precision. |
| x | – | yes | Argument. |
No output schema declared.
No examples provided.
bezout Bezout ~43
Compute the Bezout identity: gcd(a,b) = a*u + b*v.
| Name | Type | Req | Description |
|---|---|---|---|
| a | integer | yes | First integer. |
| b | integer | yes | Second integer. |
No output schema declared.
No examples provided.
binomial Binomial ~37
Compute the binomial coefficient C(n,k).
| Name | Type | Req | Description |
|---|---|---|---|
| k | integer | yes | Non-negative integer. |
| n | integer | yes | Non-negative integer. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | integer | yes | – |
No examples provided.
bnfinit Bnfinit ~49
Initialize a number field with Buchmann's algorithm.
| Name | Type | Req | Description |
|---|---|---|---|
| do_buchall | integer | – | Compute full Buchmann's algorithm (default 0). |
| pol | string | yes | Defining polynomial. |
No output schema declared.
No examples provided.
bnrinit Bnrinit ~55
Initialize a ray number field (class field).
| Name | Type | Req | Description |
|---|---|---|---|
| modulus | – | yes | Modulus for ray class group. |
| nf | – | yes | Number field from nfinit. |
| sign | integer | – | 1 for full, -1 for real. |
No output schema declared.
No examples provided.
bnrL1 Bnrl1 ~52
Compute the first derivative of Artin L-function.
| Name | Type | Req | Description |
|---|---|---|---|
| bnr | – | yes | BNR structure from bnrinit. |
| flag | integer | – | Computation flag. |
| s | – | – | Complex parameter (optional). |
No output schema declared.
No examples provided.
bnrrootnumber Bnrrootnumber ~50
Compute the root number of Artin L-function.
| Name | Type | Req | Description |
|---|---|---|---|
| bnr | – | yes | BNR structure. |
| character | – | – | Dirichlet character (optional). |
| flag | integer | – | Computation flag. |
No output schema declared.
No examples provided.
Catalan ~25
Get Catalan's constant.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision in bits. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | number | yes | – |
No examples provided.
centerlift Centerlift ~24
Lift a modular object with centered representatives.
| Name | Type | Req | Description |
|---|---|---|---|
| mod | – | yes | A modular object. |
No output schema declared.
No examples provided.
Col ~31
Convert to a column vector.
| Name | Type | Req | Description |
|---|---|---|---|
| n | integer | – | Optional length specification. |
| x | – | yes | Object to convert. |
No output schema declared.
No examples provided.
complex Complex ~31
Create a complex number.
| Name | Type | Req | Description |
|---|---|---|---|
| imag | number | yes | Imaginary part. |
| real | number | yes | Real part. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | string | yes | – |
No examples provided.
cos Cos ~28
Compute cosine.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number (in radians). |
No output schema declared.
No examples provided.
cosh Cosh ~29
Compute hyperbolic cosine.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number. |
No output schema declared.
No examples provided.
cusp_form Cusp Form ~43
Create a cusp form from its q-expansion.
| Name | Type | Req | Description |
|---|---|---|---|
| q | – | yes | q-expansion. |
| v | integer | – | Variable number. |
| weight | integer | – | Weight. |
No output schema declared.
No examples provided.
deriv Deriv ~34
Compute the derivative of a polynomial.
| Name | Type | Req | Description |
|---|---|---|---|
| pol | string | yes | Polynomial as a string. |
| v | string | – | Variable name. |
No output schema declared.
No examples provided.
dirichlet Dirichlet ~41
Compute Dirichlet L-function.
| Name | Type | Req | Description |
|---|---|---|---|
| chi | – | yes | Dirichlet character. |
| precision | integer | – | Optional precision. |
| s | – | yes | Complex parameter. |
No output schema declared.
No examples provided.
disc Disc ~32
Compute the discriminant of a polynomial.
| Name | Type | Req | Description |
|---|---|---|---|
| pol | string | yes | Polynomial. |
| v | string | – | Variable name. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | integer | yes | – |
No examples provided.
eisenstein Eisenstein ~53
Compute the Eisenstein series E_k(q).
| Name | Type | Req | Description |
|---|---|---|---|
| k | integer | yes | Weight (even >= 2). |
| n | integer | – | Harmonic rank (default 1). |
| precision | integer | – | Optional precision. |
No output schema declared.
No examples provided.
elladd Elladd ~43
Add two points on an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| E1 | – | yes | Elliptic curve (or point). |
| E2 | – | yes | Elliptic curve (or point). |
No output schema declared.
No examples provided.
ellap Ellap ~42
Compute the trace of Frobenius for an elliptic curve at prime p.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
| p | integer | yes | Prime. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | integer | yes | – |
No examples provided.
elleta Elleta ~30
Compute the eta-quotients for an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
No output schema declared.
No examples provided.
ellglobalred Ellglobalred ~30
Compute the global reduction type of an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
No output schema declared.
No examples provided.
ellheight Ellheight ~50
Compute the canonical height of a point on an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
| P | – | yes | Point on the curve. |
| flags | integer | – | Computation flags. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | number | yes | – |
No examples provided.
ellinit Ellinit ~53
Initialize an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| pol | string | yes | Short Weierstrass equation (e.g., "y^2 = x^3 - x"). |
| sign | integer | – | 1 for minimal model. |
No output schema declared.
No examples provided.
ellj Ellj ~31
Compute the j-invariant of an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure or polynomial. |
No output schema declared.
No examples provided.
elllocalred Elllocalred ~36
Compute the local reduction type at prime p.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
| p | integer | yes | Prime. |
No output schema declared.
No examples provided.
elllog Elllog ~45
Compute the discrete logarithm of a point on an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
| G | – | yes | Base point. |
| P | – | yes | Point. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | integer | yes | – |
No examples provided.
ellmul Ellmul ~53
Multiply a point on an elliptic curve by an integer.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
| P | – | – | Point (optional, if E is a point). |
| n | integer | yes | Integer multiplier. |
No output schema declared.
No examples provided.
ellorder Ellorder ~39
Compute the order of a point on an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
| P | – | yes | Point on the curve. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | integer | yes | – |
No examples provided.
elltors Elltors ~29
Compute the torsion subgroup of an elliptic curve.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
No output schema declared.
No examples provided.
ellwp Ellwp ~51
Compute the Weierstrass p-function.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
| flags | integer | – | Computation flags. |
| n | integer | – | Number of terms (default 6). |
No output schema declared.
No examples provided.
ellzeta Ellzeta ~35
Compute the Weierstrass zeta function.
| Name | Type | Req | Description |
|---|---|---|---|
| E | – | yes | Elliptic curve structure. |
| z | – | yes | Point. |
No output schema declared.
No examples provided.
eta Eta ~44
Compute the Dedekind eta function.
| Name | Type | Req | Description |
|---|---|---|---|
| flag | integer | – | Optional flag. |
| precision | integer | – | Optional precision. |
| z | – | yes | Complex parameter with positive imaginary part. |
No output schema declared.
No examples provided.
euler Euler ~24
Get Euler's constant.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision in bits. |
| Name | Type | Req | Description |
|---|---|---|---|
| result | number | yes | – |
No examples provided.
eval_expression Eval Expression ~55
Evaluate a PARI/GP expression string.
| Name | Type | Req | Description |
|---|---|---|---|
| expr | string | yes | A PARI/GP expression as a string (e.g., "x^2 + 1", "factor(100)", "prime(10)"). |
No output schema declared.
No examples provided.
exp Exp ~25
Compute exponential.
| Name | Type | Req | Description |
|---|---|---|---|
| precision | integer | – | Optional precision. |
| x | – | yes | Number. |
No output schema declared.
No examples provided.
factor Factor ~21
Factor an integer.
| Name | Type | Req | Description |
|---|---|---|---|
| n | integer | yes | Integer to factor. |
No output schema declared.
No examples provided.
How do I install the io.github.daedalus/mcp-parigp server?
io.github.daedalus/mcp-parigp runs locally as a PyPI package, launched with uvx mcp-parigp. Ready-made configuration for Claude, Cursor, VS Code, Codex and 5 more is on this page, copied from each client's own documentation.
pypi · mcp-parigp
claude mcp add daedalus-mcp-parigp -- uvx mcp-parigp
What is the io.github.daedalus/mcp-parigp server?
io.github.daedalus/mcp-parigp is listed in the public MCP registry as io.github.daedalus/mcp-parigp. MCP server exposing cypari2 (PARI/GP) number theory library. This page covers its PyPI package (mcp-parigp).
Is the io.github.daedalus/mcp-parigp server safe to use?
io.github.daedalus/mcp-parigp scores 76 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 4 November 2026. Its build provenance is signed and verified. That is a record of what we were able to check automatically, not an endorsement. The category breakdown on this page shows every signal behind the number, including the ones we could not confirm.
What tools does the io.github.daedalus/mcp-parigp server expose?
io.github.daedalus/mcp-parigp exposes 143 tools: eval_expression, get_pari_version, set_real_precision, get_real_precision, set_real_precision_bits, and 138 more. Their descriptions and schemas cost roughly 4,981 tokens of context every time the server is loaded.
Is the io.github.daedalus/mcp-parigp server still maintained?
io.github.daedalus/mcp-parigp is still listed as active in the MCP registry. We last reached this channel on 4 November 2026. Those dates come from our own scans of the registry and the channel itself, not from anything the publisher announced.
What licence is the io.github.daedalus/mcp-parigp server under?
io.github.daedalus/mcp-parigp declares the MIT licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.