Math & Numbers
Prueba de primalidad por el teorema de Wilson: (n−1)! ≡ −1 (mód n) si y solo si n es primo. Acumula (n−1)! mod n término a término (n ≤ 10⁷), lo contrasta con un Miller–Rabin determinista y, para n compuesto, comprueba la ley factorial (para n > 4, (n−1)! ≡ 0 (mód n), con n = 4 como única excepción). Puede mostrar la sucesión de productos parciales k! mod n (n ≤ 200).
Llama a esta herramienta desde tu código en tres lenguajes.
curl -X POST 'http://127.0.0.1:3003/es/api/tools/wilson-theorem-checker' \
-H 'Content-Type: application/json' \
-d '{"n":"13","detail":"trace"}'Envía una petición POST con tus entradas en JSON. Los parámetros de tipo archivo requieren una subida previa.
POST http://127.0.0.1:3003/es/api/tools/wilson-theorem-checker| Nombre | Tipo | Obligatorio | Descripción |
|---|---|---|---|
| n | text | Sí | 2 ≤ n ≤ 10⁷ (one factorial-modulo pass). |
| detail | select | Sí | — |
Resultado de texto
{
"result": "Processed text content",
"error": "Error message (optional)",
"message": "Notification message (optional)",
"metadata": {
"key": "value"
}
}Añade esta herramienta a tu servidor Model Context Protocol para que los agentes de IA puedan listarla y llamarla.
Añade este bloque a la configuración de tu cliente MCP:
{
"mcpServers": {
"elysiatools-wilson-theorem-checker": {
"name": "wilson-theorem-checker",
"description": "Prueba de primalidad por el teorema de Wilson: (n−1)! ≡ −1 (mód n) si y solo si n es primo. Acumula (n−1)! mod n término a término (n ≤ 10⁷), lo contrasta con un Miller–Rabin determinista y, para n compuesto, comprueba la ley factorial (para n > 4, (n−1)! ≡ 0 (mód n), con n = 4 como única excepción). Puede mostrar la sucesión de productos parciales 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"
}
}
}Tras conectar al endpoint SSE, lista las herramientas expuestas:
{
"jsonrpc": "2.0",
"id": 1,
"method": "tools/list"
}Invoca la herramienta por su id; los argumentos se construyen a partir de sus parámetros:
{
"jsonrpc": "2.0",
"id": 2,
"method": "tools/call",
"params": {
"name": "wilson-theorem-checker",
"arguments": {
"n": "13",
"detail": "trace"
}
}
}¿Dudas o problemas? Contacta con [email protected]