Skip to content
verify mcp Beta VerifyMCP is currently in beta. If you notice any issues, get in touch and we’ll put it right.

io.github.daedalus/mcp-number-theory

PYPI · MCP-NUMBER-THEORY · SCANNED SEP 20

MCP server exposing number theory functions and factorization algorithms

Available components

0 this week 76 Trust /100
Trust breakdown (7 categories)

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 Security100
  • No malware found by supply-chain analysis.Pass
  • No known CVEs affecting this package version or its production dependencies.Pass
  • Runs hatchling.build at install time, a recognised native-build step with no shell scripting around it. View diagnostics → Pass
  • 1 of 16 dependencies flagged as unhealthy. View diagnostics → Partial
Provenance & Transparency45
Schema Quality & AI Usability63
  • AI-judged instruction clarity (good).Pass
  • Tool/resource definitions use about 1849 tokens (~33/item across 55 items; 55 tools + 0 resources), lean.Pass
  • Usage-examples check failed: none of the tools include examples. See how to fix → Fail
Stability & Change Management83
  • Stability observed for 25 of 30 days with no destabilising changes; credit accrues until the full window elapses.Partial
Tool Coverage71
  • 100% of tools have a non-trivial description (not blank, and not just the tool's name).Pass
  • 0% of tool parameters carry a description.Fail
  • Structured output schemas are declared (100% 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
  • We read all 55 captured tool definition(s), and no name or description among them implies an irreversible operation.Pass
  • Manipulation not yet verified: only 54 of 55 captured unit(s) of tool text has been judged so far, so we will not certify text no model has read as clean.Unverified
Capabilities100
  • Implements a current MCP spec version (2026-07-28).Pass
Install

How do I install the io.github.daedalus/mcp-number-theory server?

io.github.daedalus/mcp-number-theory runs locally as a PyPI package, launched with uvx mcp-number-theory. 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-number-theory

# add to Claude Code
claude mcp add daedalus-mcp-number-theory -- uvx mcp-number-theory
// .cursor/mcp.json
{
  "mcpServers": {
    "daedalus-mcp-number-theory": {
      "command": "uvx",
      "args": [
        "mcp-number-theory"
      ]
    }
  }
}
// .vscode/mcp.json
{
  "servers": {
    "daedalus-mcp-number-theory": {
      "command": "uvx",
      "args": [
        "mcp-number-theory"
      ]
    }
  }
}
# add to Codex CLI
codex mcp add daedalus-mcp-number-theory -- uvx mcp-number-theory
// opencode.json
{
  "$schema": "https://opencode.ai/config.json",
  "mcp": {
    "daedalus-mcp-number-theory": {
      "type": "local",
      "command": [
        "uvx",
        "mcp-number-theory"
      ],
      "enabled": true
    }
  }
}
# add to OpenClaw
openclaw mcp add daedalus-mcp-number-theory --command uvx --arg mcp-number-theory
# ~/.hermes/config.yaml
mcp_servers:
  daedalus-mcp-number-theory:
    command: "uvx"
    args: ["mcp-number-theory"]
// ~/.netclaw/config/netclaw.json
{
  "McpServers": {
    "daedalus-mcp-number-theory": {
      "Transport": "stdio",
      "Command": "uvx",
      "Arguments": [
        "mcp-number-theory"
      ]
    }
  }
}
# add to Vellum
assistant mcp add daedalus-mcp-number-theory -t stdio -c uvx -a mcp-number-theory
// mcp.json
{
  "mcpServers": {
    "daedalus-mcp-number-theory": {
      "command": "uvx",
      "args": [
        "mcp-number-theory"
      ]
    }
  }
}
Changelog

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.

  • 19 Sept 26 +12
    • Malware scan: unverified → pass security
    • Stability: pass → 0.80 functional
  • 18 Sept 26 +1
    • Stability: 0.97 → pass security
  • 17 Sept 26 −15
    • Malware scan: pass → unverified security
  • 16 Sept 26 +1

    No change was recorded against any check on this day. Stability & Change Management went from 90 to 93. That category is still filling its 30-day observation window: 27 days of observed history at the previous scan, 28 at this one. The score rises as the window fills, whether or not the server changes.

  • 15 Sept 26 +15
    • Malware scan: unverified → pass security
  • 14 Sept 26 −14
    • Malware scan: pass → unverified security
  • 12 Sept 26 +12
    • Malware scan: unverified → pass security
    • Stability: pass → 0.80 functional
  • 11 Sept 26 −14
    • Malware scan: pass → unverified security
    • Stability: 0.97 → pass security
Diagnostics

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 20 Sept 2026 · Analysed pypi/mcp-number-theory@0.1.0

Provenance No attestation

The registry publishes no build provenance for this version, so there is nothing to verify.

Result No attestation
Ecosystem pypi

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 16 packages
Packages resolved 16
Stale 1
Tree resolution Complete

Background: SBOMs and build attestations, explained →

MCP tools · 55 exposed · ~1,849 tokens

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 →

Tool Tokens
brent ~33

Factor n using Brent's algorithm (Pollard rho with optimizations). Returns a factor.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

carmichael ~30

Factor n using Carmichael's method. Returns list of factor pairs.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

chinese_remainder ~57

Solve the Chinese Remainder Theorem. Given moduli m and remainders a, find x such that x ≡ a[i] (mod m[i]).

NameTypeReqDescription
aarrayyes
marrayyes
NameTypeReqDescription
resultintegeryes

No examples provided.

close_factor ~38

Factor n using close factor algorithm. Returns (p, q) if found.

NameTypeReqDescription
bintegeryes
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

contfrac_to_rational ~25

Convert continued fraction to rational number.

NameTypeReqDescription
fracarrayyes
NameTypeReqDescription
resultarrayyes

No examples provided.

difference_of_powers_factor ~30

Factor using difference of powers method. Returns list of factors.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

dixon ~33

Factor n using Dixon's factorization method. Returns (p, q) if found.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

dlp_bruteforce ~55

Solve discrete logarithm by brute force: find x such that g^x ≡ h (mod p).

NameTypeReqDescription
gintegeryes
hintegeryes
pintegeryes
NameTypeReqDescription
resultyes

No examples provided.

euler_factorization ~35

Factor n using Euler's factorization method. Returns (p, q) if found.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

fac ~20

Compute the factorial of n.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

factor_2PN ~43

Factor n with P prime > 2. Returns (p, q) if found.

NameTypeReqDescription
nintegeryes
p_valinteger
NameTypeReqDescription
resultyes

No examples provided.

factor_high_and_low_bits_equal ~46

Factor when high and low bits are equal. Returns (p, q) if found.

NameTypeReqDescription
max_middle_bitsinteger
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

factor_XYXZ ~45

Factor integer of form x^y * x^z. Returns (p, q) if found.

NameTypeReqDescription
baseinteger
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

fermat ~31

Factor n using Fermat's factorization method. Returns (p, q).

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

fib ~21

Compute the n-th Fibonacci number.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

find_period ~24

Find the period of n in binary representation.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

gcd ~31

Compute the greatest common divisor of a and b.

NameTypeReqDescription
aintegeryes
bintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

gcdext ~47

Compute the extended GCD of a and b. Returns dict with g, x, y where g = ax + by.

NameTypeReqDescription
aintegeryes
bintegeryes

Structured output declared, but exposes no named fields.

No examples provided.

getpubkeysz ~24

Get public key size in bits.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

hart ~30

Factor n using Hart's one-line factorization. Returns (p, q).

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

ilog ~25

Compute the integer log of n (natural log).

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

ilog10 ~26

Compute the integer log base 10 of n.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

ilog2 ~26

Compute the integer log base 2 of n.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

introot ~41

Compute the integer r-th root of n. Returns None if not a perfect r-th power.

NameTypeReqDescription
nintegeryes
rinteger
NameTypeReqDescription
resultyes

No examples provided.

inverseinversesqrt2exp ~37

Compute modular inverse square root approximation with k bits.

NameTypeReqDescription
kintegeryes
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

invert ~36

Compute the modular inverse of a modulo b using Fermat's little theorem.

NameTypeReqDescription
aintegeryes
bintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

invmod ~31

Compute the modular inverse of a modulo m.

NameTypeReqDescription
aintegeryes
mintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

is_cube ~23

Check if n is a perfect cube.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultbooleanyes

No examples provided.

is_lucas ~25

Check if n is a Lucas number.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultbooleanyes

No examples provided.

is_prime ~25

Test if n is prime using probabilistic methods.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultbooleanyes

No examples provided.

is_square ~23

Check if n is a perfect square.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultbooleanyes

No examples provided.

isqrt ~23

Compute the integer square root of n.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

kraitchik ~31

Factor n using Kraitchik factorization. Returns (p, q).

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

lcm ~32

Compute the least common multiple of x and y.

NameTypeReqDescription
xintegeryes
yintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

legendre ~31

Compute the Legendre symbol (a/p).

NameTypeReqDescription
aintegeryes
pintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

lehman ~33

Factor n using Lehman's factorization algorithm. Returns (p, q) if found.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

lehmer_machine ~34

Factor n using Lehmer's machine (fermat-based). Returns (p, q).

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

lucas ~22

Compute the n-th Lucas number.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

neg_pow ~40

Calculate a^b mod n when b is negative.

NameTypeReqDescription
aintegeryes
bintegeryes
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

next_prime ~22

Find the next prime after n.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

phi ~37

Compute Euler's totient function phi(n) given the prime factors of n.

NameTypeReqDescription
factorsarrayyes
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

pollard_P_1 ~38

Factor n using Pollard's P-1 algorithm. Returns (p, q) if found.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

pollard_rho ~30

Factor n using Pollard's rho algorithm. Returns a factor.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

pollard_strassen ~35

Factor n using Pollard-Strassen algorithm. Returns (p, q) if found.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

powmod ~40

Compute b^e mod m using modular exponentiation.

NameTypeReqDescription
bintegeryes
eintegeryes
mintegeryes
NameTypeReqDescription
resultintegeryes

No examples provided.

powmod_base_list ~41

Compute powmod for a list of bases.

NameTypeReqDescription
base_lstarrayyes
expintegeryes
modintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

powmod_exp_list ~42

Compute powmod for a list of exponents.

NameTypeReqDescription
baseintegeryes
exp_lstarrayyes
modintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

primes ~23

Return a list of the first n primes.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultarrayyes

No examples provided.

repunit_factor ~32

Factor n using repunit properties. Returns (p, q) if found.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

shor ~36

Factor n using Shor's algorithm (classical part). Returns (p, q) if found.

NameTypeReqDescription
nintegeryes
NameTypeReqDescription
resultyes

No examples provided.

Common questions

What is the io.github.daedalus/mcp-number-theory server?

io.github.daedalus/mcp-number-theory is listed in the public MCP registry as io.github.daedalus/mcp-number-theory. MCP server exposing number theory functions and factorization algorithms. This page covers its PyPI package (mcp-number-theory).

Is the io.github.daedalus/mcp-number-theory server safe to use?

io.github.daedalus/mcp-number-theory scores 76 out of 100 on VerifyMCP. We found no known CVEs affecting it as of 20 September 2026. 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-number-theory server expose?

io.github.daedalus/mcp-number-theory exposes 55 tools: gcd, isqrt, introot, invmod, gcdext, and 50 more. Their descriptions and schemas cost roughly 1,849 tokens of context every time the server is loaded.

Is the io.github.daedalus/mcp-number-theory server still maintained?

io.github.daedalus/mcp-number-theory is still listed as active in the MCP registry. We last reached this channel on 20 September 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-number-theory server under?

io.github.daedalus/mcp-number-theory declares the MIT licence, which is OSI-approved. That covers the source only, and says nothing about the cost of any service it calls.