Math & Numbers
Teste de primalidade pelo teorema de Wilson: (n−1)! ≡ −1 (mod n) se e somente se n é primo. O resíduo (n−1)! mod n é acumulado termo a termo (n ≤ 10⁷), contrastado com um Miller–Rabin determinístico e, para n composto, verificado contra a lei fatorial (para n > 4, (n−1)! ≡ 0 (mod n), sendo n = 4 a única exceção). Pode mostrar a sequência de produtos parciais k! mod n (n ≤ 200).
Chame esta ferramenta a partir do seu código em três idiomas.
curl -X POST 'http://127.0.0.1:3003/pt/api/tools/wilson-theorem-checker' \
-H 'Content-Type: application/json' \
-d '{"n":"13","detail":"trace"}'Envie uma requisição POST com suas entradas em JSON. Parâmetros do tipo arquivo exigem upload prévio.
POST http://127.0.0.1:3003/pt/api/tools/wilson-theorem-checker| Nome | Tipo | Obrigatório | Descrição |
|---|---|---|---|
| n | text | Sim | 2 ≤ n ≤ 10⁷ (one factorial-modulo pass). |
| detail | select | Sim | — |
Resultado de texto
{
"result": "Processed text content",
"error": "Error message (optional)",
"message": "Notification message (optional)",
"metadata": {
"key": "value"
}
}Adicione esta ferramenta ao seu servidor Model Context Protocol para que agentes de IA possam listá-la e chamá-la.
Adicione este bloco à configuração do seu cliente MCP:
{
"mcpServers": {
"elysiatools-wilson-theorem-checker": {
"name": "wilson-theorem-checker",
"description": "Teste de primalidade pelo teorema de Wilson: (n−1)! ≡ −1 (mod n) se e somente se n é primo. O resíduo (n−1)! mod n é acumulado termo a termo (n ≤ 10⁷), contrastado com um Miller–Rabin determinístico e, para n composto, verificado contra a lei fatorial (para n > 4, (n−1)! ≡ 0 (mod n), sendo n = 4 a única exceção). Pode mostrar a sequência de produtos parciais 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"
}
}
}Após conectar ao endpoint SSE, liste as ferramentas expostas:
{
"jsonrpc": "2.0",
"id": 1,
"method": "tools/list"
}Invoque a ferramenta pelo seu id; os argumentos são construídos a partir de seus parâmetros:
{
"jsonrpc": "2.0",
"id": 2,
"method": "tools/call",
"params": {
"name": "wilson-theorem-checker",
"arguments": {
"n": "13",
"detail": "trace"
}
}
}Dúvidas ou problemas? Contate [email protected]