Verificamos se os casos
citados pela IA existem.
Cole uma peça redigida pela sua IA. O ProofKit procura cada decisão citada — EUA, Reino Unido, Tribunal de Justiça da UE, Tribunal Europeu dos Direitos Humanos — e diz quais existem. Recebe um recibo assinado que o seu sócio, o cliente ou o tribunal podem verificar sem nos contactar. Por enquanto não verificamos decisões de tribunais israelenses.
- Especificação aberta do recibo
- Ed25519 + cadeia pública de hashes
- Fontes: CourtListener · Find Case Law · EUR-Lex · HUDOC
- Registro de investigação DOI 10.5281/zenodo.22848827
sig gN-7XztHZP4GRO5MZ0zZ…pEDA
digest 64997144dd1234f4…7fdc24
log #33 → d23cc14c…e55e
Demo ao vivo
Cole um parágrafo de um rascunho de IA.
As citações dos EUA, Reino Unido, UE e TEDH são verificadas, cada uma, na sua base oficial. Recebe um veredicto por citação e um receipt.json assinado.
Porquê o ProofKit
Uma verificação que pode mostrar a um juiz.
A maioria dos verificadores de IA pergunta a um segundo modelo se o primeiro acertou e devolve uma percentagem de confiança. Um juiz que pergunta de onde veio uma decisão quer uma fonte e um registro da verificação.
Casos inventados aparecem logo
Se uma citação não leva a nada, ou leva a um caso diferente do que a peça indica, vê isso de imediato, com ligação ao registro.
Assinado e à prova de adulteração
Cada verificação vem com um receipt.json assinado com Ed25519. Altere um único carácter e a assinatura deixa de bater certo.
Cadeia pública de hashes
Cada recibo entra num registro público. Apagar ou reescrever uma entrada quebra a cadeia, por isso ninguém consegue mudar o passado às escondidas, nem nós.
Verificação sem nós
Dez linhas de Node ou Python, ou a página no seu navegador. Funciona sem conta e nunca contacta os nossos servidores.
Um registro para o processo
Junte o recibo ao processo. Fica registado o que foi verificado, quando e contra que fonte. Útil se tiver deveres de registro ao abrigo do art. 12.º do Regulamento Europeu de IA.
Mais rápido do que reler
Uma peça de 30 páginas demora o tempo de a colar. Verifique antes de entregar, não depois de a outra parte o fazer.
Como funciona
Do rascunho ao recibo assinado em três passos.
Cole o texto ou chame a API
Envie o texto escrito por IA para o verificador web ou para POST /api/v1/check. Extraímos citações de repertórios dos EUA (U.S., F.3d, F. Supp., estaduais), citações neutras do Reino Unido ([2023] UKSC 42, EWCA Civ, EWHC (Ch)), números de processo e ECLI da UE (C-131/12, T-201/04) e números de queixa do TEDH (no. 36022/97).
Cada citação é resolvida
Procura no CourtListener (EUA), Find Case Law (Reino Unido), EUR-Lex (UE) ou HUDOC (TEDH) e comparação do nome do caso palavra a palavra. Veredictos: verificada, outro caso, não encontrada, ambígua, não verificável.
Recebe um recibo assinado
O resultado é assinado e a sua impressão digital é acrescentada a uma cadeia pública de hashes. Um sócio, cliente ou tribunal pode verificá-lo sem confiar em nós.
{
"body": {
"spec": "sapir-receipt/1",
"kind": "citation-check",
"ts": "2026-10-28T20:51:04.775Z",
"input_sha256": "e8115555b9505b63…d061b211c69",
"checker": "CourtListener citation resolver (courtlistener.com/c/), name-token match >= 0.5",
"results": [
{ "cite": "5 U.S. 137", "name": "Marbury v. Madison", "verdict": "verified",
"source": "https://www.courtlistener.com/c/U.S./5/137/" },
{ "cite": "925 F.3d 1339", "name": "Varghese v. China Southern Airlines Co.", "verdict": "not_found",
"note": "No case at this citation in CourtListener. Likely fabricated." }
],
"summary": { "total": 2, "verified": 1, "flagged": 1 },
"key": { "alg": "Ed25519", "x": "RMJOfCYzDOsYHFAMA5W5VPmnYN51jh7_sgDPzijAzu0" }
},
"sig": "gN-7XztHZP4GRO5MZ0zZTKAuat8V…JAegI0In4lE3gGpEDA",
"digest": "64997144dd1234f4…2e987fdc24",
"log": { "n": 33, "hash": "d23cc14ceead753a…52e95f85e55e" }
}Encurtado para exibição. Os recibos reais incluem hashes completos e todas as notas.
curl -X POST https://proof.sapir861.com/api/v1/check \
-H "content-type: application/json" \
-d '{"text":"See Marbury v. Madison, 5 U.S. 137 (1803)."}'import { readFileSync } from "node:fs"; // node verify.mjs receipt.json (Node 20+)
const r = JSON.parse(readFileSync(process.argv[2] || "receipt.json", "utf8"));
const canon = o => o === null || typeof o !== "object" ? JSON.stringify(o) : Array.isArray(o) ? "[" + o.map(canon).join(",") + "]"
: "{" + Object.keys(o).sort().filter(k => o[k] !== undefined).map(k => JSON.stringify(k) + ":" + canon(o[k])).join(",") + "}";
const msg = new TextEncoder().encode(canon(r.body));
const hex = Buffer.from(await crypto.subtle.digest("SHA-256", msg)).toString("hex");
const pub = (await (await fetch("https://proof.sapir861.com/.well-known/proofkit-pubkey")).json()).jwk;
const key = await crypto.subtle.importKey("jwk", pub, { name: "Ed25519" }, false, ["verify"]);
const ok = await crypto.subtle.verify({ name: "Ed25519" }, key, Buffer.from(r.sig, "base64url"), msg);
console.log(ok && hex === r.digest && pub.x === r.body.key.x ? "VALID" : "INVALID");# pip install cryptography ; python verify.py receipt.json
import json, sys, base64, hashlib, urllib.request
from cryptography.hazmat.primitives.asymmetric.ed25519 import Ed25519PublicKey
r = json.load(open(sys.argv[1] if len(sys.argv) > 1 else "receipt.json", encoding="utf-8"))
b64 = lambda s: base64.urlsafe_b64decode(s + "=" * (-len(s) % 4))
msg = json.dumps(r["body"], sort_keys=True, separators=(",", ":"), ensure_ascii=False).encode()
pub = json.load(urllib.request.urlopen("https://proof.sapir861.com/.well-known/proofkit-pubkey"))["jwk"]
try:
Ed25519PublicKey.from_public_bytes(b64(pub["x"])).verify(b64(r["sig"]), msg)
ok = hashlib.sha256(msg).hexdigest() == r["digest"] and pub["x"] == r["body"]["key"]["x"]
except Exception: ok = False
print("VALID" if ok else "INVALID")Sem instalar nada: abra https://proof.sapir861.com/pt/verify e cole o receipt.json.
A verificação corre localmente no navegador (WebCrypto Ed25519). Nada é enviado.Chave pública: /.well-known/proofkit-pubkey
Casos de uso
Já funciona para jurisprudência. A seguir: preços e aritmética.
Citações jurídicas
Para escritórios e equipes legal-tech que deixam a IA redigir. Registros públicos contam mais de 2.000 decisões judiciais sobre casos inventados por IA; as sanções já chegaram a seis dígitos.
Experimentar grátis →Preços contra o documento de origem
A IA citou bem o preço, a data ou o valor do seu PDF ou CSV? Cada afirmação será comparada com a célula de onde veio.
Entrar na lista de espera →Aritmética nas respostas de IA
Recalculamos totais, percentagens e conversões de unidades na resposta e mostramos onde a IA errou.
Pedir acesso à beta →Bot com recibos
Um bot de WhatsApp ou Telegram para pequenos negócios que só indica preços da tabela assinada pelo dono. Cada preço vem com recibo; o que não está na tabela passa para uma pessoa.
Experimentar a demo →Preços
Pague por um período. Para cancelar, não renove.
Pague online e a sua chave de API chega num minuto. Não voltamos a cobrar o cartão a menos que renove.
Pro
₪179 por mês₪1790 por 12 meses
- Chave de API logo após o pagamento
- 5.000 verificações por mês
- Arquivo de recibos
- Suporte por e-mail
Team
₪890 por mês₪8900 por 12 meses
- 30.000 verificações por mês
- Exportação para auditoria (CSV + recibos)
- Chamada de arranque
- Suporte prioritário
Piloto
₪5490 · 30 dias
- 30 dias com os seus documentos
- Relatório de cada citação assinalada
- Se não encontrarmos erros nos seus rascunhos de IA, não paga nada
Cobrança em shekels (ILS) via PayPlus · recibo incluído · Pré-pago · sem renovação automática · reembolso em 14 dias
Dúvidas ou fatura para empresa? Respondemos em 24 horas nos dias úteis.
Perguntas frequentes
O que os advogados nos perguntam
O que é verificado exatamente?
Se cada citação existe na base oficial aberta do respetivo tribunal (EUA, Reino Unido, UE, TEDH) e se o nome do caso coincide. Não avaliamos se a decisão apoia o seu argumento.
Guardam o meu texto?
Não. O texto é processado em memória. Só o seu hash SHA-256 entra no recibo e só a impressão digital do recibo entra no registro público.
Como é que um terceiro verifica um recibo?
Com o script de 10 linhas acima ou colando o recibo em /verify. Ambos verificam a assinatura Ed25519 com a nossa chave publicada, no seu computador. Nada nos é enviado.
E as citações Westlaw / Lexis?
Não há base aberta para as verificar, por isso marcamo-las como não verificáveis. Nunca as deixamos passar em silêncio.
Isto está provado?
Em parte. No nosso teste público confirmou 5 de 5 casos reais e apanhou 3 de 3 inventados. É uma amostra pequena. Está em curso uma avaliação independente maior, e o método está publicado com DOI.
O que faz e o que não faz. O verificador diz se uma citação existe e se o nome do caso coincide. Não avalia se a decisão apoia o seu argumento. Cobertura: EUA (CourtListener, a funcionar), Reino Unido (Find Case Law, beta: fiável desde 2022, podem faltar decisões antigas), Tribunal de Justiça e Tribunal Geral da UE (EUR-Lex, beta), TEDH (HUDOC, beta). Citações só do Westlaw/Lexis e citações britânicas sem secção são marcadas como não verificáveis. Está em curso uma avaliação independente com mais modelos e mais dados.
Verifique o próximo rascunho de IA antes de o entregar.
Grátis até 100 citações por mês. Sem registro.