Math & Numbers
Test de primalité par le théorème de Wilson : (n−1)! ≡ −1 (mod n) si et seulement si n est premier. Le résidu (n−1)! mod n est accumulé terme à terme (n ≤ 10⁷), contre-vérifié par un Miller–Rabin déterministe, et pour n composé confronté à la loi factorielle ((n−1)! ≡ 0 (mod n) pour tout n > 4, n = 4 étant l'unique exception). Peut afficher la suite des produits partiels k! mod n (n ≤ 200).
Appelez cet outil depuis votre code en trois langages.
curl -X POST 'http://127.0.0.1:3003/fr/api/tools/wilson-theorem-checker' \
-H 'Content-Type: application/json' \
-d '{"n":"13","detail":"trace"}'Envoyez une requête POST avec vos entrées en JSON. Les paramètres de type fichier nécessitent un upload préalable.
POST http://127.0.0.1:3003/fr/api/tools/wilson-theorem-checker| Nom | Type | Requis | Description |
|---|---|---|---|
| n | text | Oui | 2 ≤ n ≤ 10⁷ (one factorial-modulo pass). |
| detail | select | Oui | — |
Résultat texte
{
"result": "Processed text content",
"error": "Error message (optional)",
"message": "Notification message (optional)",
"metadata": {
"key": "value"
}
}Ajoutez cet outil à votre serveur Model Context Protocol pour que les agents IA puissent le lister et l'appeler.
Ajoutez ce bloc à la configuration de votre client MCP :
{
"mcpServers": {
"elysiatools-wilson-theorem-checker": {
"name": "wilson-theorem-checker",
"description": "Test de primalité par le théorème de Wilson : (n−1)! ≡ −1 (mod n) si et seulement si n est premier. Le résidu (n−1)! mod n est accumulé terme à terme (n ≤ 10⁷), contre-vérifié par un Miller–Rabin déterministe, et pour n composé confronté à la loi factorielle ((n−1)! ≡ 0 (mod n) pour tout n > 4, n = 4 étant l'unique exception). Peut afficher la suite des produits partiels 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"
}
}
}Après connexion au point d'accès SSE, listez les outils exposés :
{
"jsonrpc": "2.0",
"id": 1,
"method": "tools/list"
}Appelez l'outil par son id ; les arguments sont construits à partir de ses paramètres :
{
"jsonrpc": "2.0",
"id": 2,
"method": "tools/call",
"params": {
"name": "wilson-theorem-checker",
"arguments": {
"n": "13",
"detail": "trace"
}
}
}Des questions ou un problème ? Contactez [email protected]