Math & Numbers
Проверка простоты по теореме Вильсона: (n−1)! ≡ −1 (mod n) тогда и только тогда, когда n простое. Вычет (n−1)! mod n накапливается пошагово (n ≤ 10⁷), сверяется с детерминированным Миллером–Рабином, а для составных n проверяется факториальный закон (при n > 4 (n−1)! ≡ 0 (mod n), единственное исключение — n = 4). Может показать последовательность промежуточных произведений k! mod n (n ≤ 200).
Вызовите этот инструмент из своего кода на трёх языках.
curl -X POST 'http://127.0.0.1:3003/ru/api/tools/wilson-theorem-checker' \
-H 'Content-Type: application/json' \
-d '{"n":"13","detail":"trace"}'Отправьте POST-запрос с входными данными в JSON. Параметры типа «файл» требуют предварительной загрузки.
POST http://127.0.0.1:3003/ru/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, чтобы ИИ-агенты могли перечислять и вызывать его.
Добавьте этот блок в конфигурацию вашего MCP-клиента:
{
"mcpServers": {
"elysiatools-wilson-theorem-checker": {
"name": "wilson-theorem-checker",
"description": "Проверка простоты по теореме Вильсона: (n−1)! ≡ −1 (mod n) тогда и только тогда, когда n простое. Вычет (n−1)! mod n накапливается пошагово (n ≤ 10⁷), сверяется с детерминированным Миллером–Рабином, а для составных 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-endpoint выведите список доступных инструментов:
{
"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]