Math & Numbers
用威尔逊定理判定素性：当且仅当 n 为素数时 (n−1)! ≡ −1 (mod n)。逐项累加 (n−1)! mod n（n ≤ 10⁷），与确定性 Miller–Rabin 交叉验证，并对合数 n 检验合数阶乘律（n > 4 时 (n−1)! ≡ 0 (mod n)，唯一例外 n = 4）。可显示 k! mod n 的逐步乘积序列（n ≤ 200）。
用三种语言从你的代码中调用此工具。
curl -X POST 'http://127.0.0.1:3003/zh/api/tools/wilson-theorem-checker' \
-H 'Content-Type: application/json' \
-d '{"n":"13","detail":"trace"}'以 JSON 形式 POST 提交输入参数。文件类型参数需先单独上传。
POST http://127.0.0.1:3003/zh/api/tools/wilson-theorem-checker| 参数名 | 类型 | 必填 | 说明 |
|---|---|---|---|
| n | text | 是 | 2 ≤ n ≤ 10⁷ (one factorial-modulo pass). |
| detail | select | 是 | — |
文本结果
{
"result": "Processed text content",
"error": "Error message (optional)",
"message": "Notification message (optional)",
"metadata": {
"key": "value"
}
}将此工具加入你的 Model Context Protocol 服务，让 AI 智能体可以列出并调用它。
将以下内容加入你的 MCP 客户端配置：
{
"mcpServers": {
"elysiatools-wilson-theorem-checker": {
"name": "wilson-theorem-checker",
"description": "用威尔逊定理判定素性：当且仅当 n 为素数时 (n−1)! ≡ −1 (mod n)。逐项累加 (n−1)! mod n（n ≤ 10⁷），与确定性 Miller–Rabin 交叉验证，并对合数 n 检验合数阶乘律（n > 4 时 (n−1)! ≡ 0 (mod n)，唯一例外 n = 4）。可显示 k! mod n 的逐步乘积序列（n ≤ 200）。",
"baseUrl": "http://127.0.0.1:3003/mcp/sse?toolId=wilson-theorem-checker",
"command": "",
"args": [],
"env": {},
"isActive": true,
"type": "sse"
}
}
}连接到 SSE 端点后，列出已开放的工具：
{
"jsonrpc": "2.0",
"id": 1,
"method": "tools/list"
}通过工具 id 调用，参数由其参数表构建：
{
"jsonrpc": "2.0",
"id": 2,
"method": "tools/call",
"params": {
"name": "wilson-theorem-checker",
"arguments": {
"n": "13",
"detail": "trace"
}
}
}有问题或反馈？请联系 [email protected]