# MateMatic - infraestrutura europeia de LegalTech para escritórios de advocacia

Situação em: 2026-10-02

> A MateMatic constrói infraestrutura europeia de LegalTech em que a IA no trabalho jurídico se apoia em fontes verificáveis. Quatro camadas: o Repertorium, infraestrutura de conhecimento jurídico - um corpus do direito polonês e da UE preparado para modelos de IA, com localizador em cada trecho e grafo de citações entre jurisprudência e normas; o PATRON, o ambiente de trabalho local do advogado, que trabalha sobre os documentos do escritório, mostra as fontes e deixa uma trilha de auditoria; o Boutique, extensões - conectores MCP para fontes públicas do direito e skills; e o trabalho da própria MateMatic em implantação, auditoria, padrões e arquitetura de IA. Prior tempore, potior iure.

MateMatic Solutions Sp. z o.o. - matematicsolutions.com - arquiteto-chefe: Wiesław Mazur. Sediada em Cracóvia, Polônia.

Escopo: Repertorium (console sem conta, acesso por MCP, edições do corpus, white label, pacote local), PATRON - ambiente de trabalho local-first para advogados (código aberto, zero-cloud por padrão, modo híbrido opcional), Boutique (conectores MCP e skills para download), além de implantação - auditoria de prontidão, desenho de arquitetura, implantação de agentes com human-in-the-loop.
Área: Polônia e UE. Referenciais: EU AI Act, GDPR, NIST AI RMF, ISO/IEC 42001, códigos de ética profissional da advocacia.

Nota: a edição em português cobre as páginas centrais (início, Repertorium, PATRON, Sobre, Boutique). A Base de Conhecimento, as notícias e as skills de jurisdição polonesa são publicadas em polonês em matematicsolutions.com.

## Páginas centrais (português)

- [Onde estão seus dados](https://matematicsolutions.com/pt/onde-estao-seus-dados): o que o PATRON, o Repertorium e o site fazem com os dados - documentos no computador do escritório, modelo local sem envio, modelo em nuvem só com a chave do escritório, sem telemetria; cada afirmação com prova no código do PATRON 1.3.0 ou em medição, e o que está planejado em separado.

- [MateMatic - infraestrutura europeia de LegalTech (início)](https://matematicsolutions.com/pt/): a tese - IA local-first para escritórios de advocacia, o regime composto (EU AI Act + GDPR) resolvido por arquitetura em vez de promessa, código aberto. Direciona para o PATRON.
- [PATRON - uma plataforma de IA local para advogados](https://matematicsolutions.com/pt/patron): plataforma de IA local-first e aberta (AGPL-3.0) para escritórios de advocacia - análise de autos, verificação de fontes (citação / paráfrase / sem base), trilha de auditoria (hash-chain + árvore de Merkle), traga seu próprio modelo (Claude, Gemini, Ollama, OpenRouter), 7 conectores MCP para o direito polonês e da UE (SAOS, NSA, ISAP, KRS, EUREKA, EUR-Lex/TJUE, EU-Compliance). Gratuito, roda em Windows.
- [Material para imprensa - PATRON](https://matematicsolutions.com/pt/dla-mediow): descricao pronta para colar, dez dados tecnicos (versao 1.3.0 de 24 de agosto de 2026, Windows 10/11, AGPL-3.0, gratuito, nove edicoes de idioma, 45 conectores em 34 paises e no direito da Uniao), seis capturas de tela e a marca. Para quem escreve listas de ferramentas de IA: a categoria local-first / on-premise e um criterio conferivel sem o fornecedor.
- [Versoes do PATRON - historico de lancamentos](https://matematicsolutions.com/pt/patron/versoes): historico publico com datas - 1.3.0 (24 de agosto de 2026), 1.2.0 (23 de agosto de 2026), 1.1.0 (17 de agosto de 2026), 1.0.0 (15 de junho de 2026, primeiro lancamento publico sob AGPL-3.0).
- [Trilha de auditoria do PATRON - documentacao tecnica (PT)](https://matematicsolutions.com/pt/patron/trilha-de-auditoria): como o registro de eventos de IA em um escritorio e montado - hash-chain SHA-256 (cada linha amarra o hash da anterior, a linha genese carrega 64 zeros), arvore de Merkle sobre a cadeia inspirada na RFC 6962 (conformidade total planejada no PATRON 2.0), tres caminhos de verificacao (cadeia inteira por npm run audit:verify, prova de Merkle para um evento, pacote de evidencias verificado offline por python verify.py apenas com a biblioteca padrao), mapeamento para o art. 12 do AI Act (CELEX 32024R1689) e a lista explicita de limites: a trilha detecta linha alterada mas nao prova autoria - assinatura Ed25519 e carimbo RFC 3161 nao estao implementados, e a retencao segue sendo decisao do escritorio.
- [Sobre a MateMatic](https://matematicsolutions.com/pt/o-nas): a equipe - arquiteto-chefe Wiesław Mazur (arquiteto de governança de IA para escritórios de advocacia), Mateusz Miękina (advogado, presidente do conselho), Piotr Sitkowski (arquiteto de sistemas) - dados da empresa (KRS 0001176750, Cracóvia) e áreas de especialização.
- [MateMatic Boutique (português)](https://matematicsolutions.com/pt/boutique): skills para download voltadas à escrita jurídica e profissional. Catálogo: Reviewer (um editor sênior rabugento), Humanizer (remove marcas de escrita por IA, MIT), Advogado do diabo (revisão adversarial em red-team para entregáveis de alto risco), busca de direito da UE e do TJUE (EUR-Lex / Cellar SPARQL), silogismo jurídico (subsunção/IRAC), pontuação de output antes do envio, checklist de cláusulas (taxonomia CUAD) e extração de citações (ECLI/CELEX). Além de uma prateleira Curada/externa: skills abertas de outras equipes, listadas com atribuição e link para a fonte, avaliadas quanto à disciplina da UE. A Boutique também hospeda um nível de Conectores: 45 servidores MCP open source (7 embutidos no PATRON) que fundamentam fontes jurídicas públicas por ELI/ECLI nativos em 35 jurisdições, incluindo o Brasil.
- [Boutique - catálogo de skills](https://matematicsolutions.com/pt/boutique/skills): a prateleira em português - Reviewer, Humanizer (MIT), Advogado do diabo, busca de direito da UE e TJUE, silogismo jurídico, pontuação de output, checklist de cláusulas (CUAD) e extração de citações (ECLI/CELEX), além de uma prateleira curada/externa listada com atribuição. Gratuito, roda localmente no PATRON ou no Claude.
- [Boutique - conectores MCP](https://matematicsolutions.com/pt/boutique/connectors): 45 servidores MCP open source (GitHub; 7 embutidos no PATRON) que fundamentam fontes jurídicas públicas por ELI/ECLI nativos em três regiões - Europa, Américas (Brasil, EUA, Colômbia, Chile, Canadá) e Ásia-Pacífico. Mais de 34 milhões de documentos-fonte em 33 jurisdições (contagem de 2026-07-10). Local, majoritariamente sem necessidade de chave de API. Inclui o boutique-mcp, conector-catálogo local de toda a frota (catálogo legível por máquina: matematicsolutions.com/catalog.json) - busca offline, comandos de instalação local, zero telemetria de consultas.

- [Repertorium - infraestrutura de conhecimento jurídico para IA](https://matematicsolutions.com/pt/repertorium): direito polonês e da UE em uma camada de conhecimento - texto integral, grafo de citações, histórico de alterações da base legal e aviso de que uma norma foi alterada depois da data do acórdão. 1.523.697 documentos da Polônia, 247.954 da UE, 1.535.990 ligações PL-UE. Quatro caminhos: console e MCP, corpus de treino, white label, instalação local. O console não pede conta.
## Fatos-chave para citação

- O Repertorium é o corpus de conhecimento jurídico da MateMatic para IA: 1.523.697 documentos do direito polonês, 247.954 do direito da União Europeia e 1.535.990 ligações entre eles. Cada trecho volta com um localizador - identificador do documento mais posição de caractere - e uma remissão que não pôde ser resolvida PERMANECE na resposta com um motivo nomeado, em vez de sumir. Duas coisas que o texto puro não dá: a distribuição das citações no tempo, ou seja, se uma linha jurisprudencial está viva ou silenciou, e o aviso de que uma norma citada em um acórdão foi alterada depois da data do julgamento - um sinal para o advogado, nunca uma conclusão automática de que o acórdão está desatualizado. Quatro caminhos de acesso: MCP e console web (Use it), corpus de treino e avaliação (Train with it), white label (Brand it) e pacote local offline (Own it). O console da página pesquisa no corpus vivo sem conta, sem e-mail e sem cartão: https://matematicsolutions.com/pt/repertorium
- O PATRON é de código aberto sob AGPL-3.0 e roda localmente no Windows; casos sensíveis podem rodar totalmente offline em um modelo local (Ollama).
- A verificação de fontes classifica cada afirmação extraída dos autos como citação, paráfrase ou sem base no arquivo, anexando uma citação literal e o número da página.
- A trilha de auditoria é uma hash-chain SHA-256 com árvore de Merkle, verificável offline e independente da MateMatic - dando suporte ao registro de eventos do art. 12 do EU AI Act.
- O PATRON traz 7 conectores MCP nativos (SAOS, NSA, ISAP, KRS, EUREKA, EUR-Lex/TJUE, EU-Compliance). A Boutique estende isso a 45 conectores MCP open source (MIT ou Apache-2.0) em 35 jurisdições, incluindo o Brasil (Câmara dos Deputados e Congresso Nacional, identificação e texto de normas por URN Lex).
- Diferença arquitetural em relação à IA jurídica em nuvem: o PATRON mantém os autos no próprio hardware do escritório; os dados não saem do prédio a menos que o escritório decida que devem sair.
- Operadora: MateMatic Solutions Sp. z o.o., Cracóvia, Polônia. Arquiteto-chefe: Wiesław Mazur.
- Licenciamento do Repertorium: os documentos oficiais não são nossos, a compilação é. O console no site é gratuito; pacote do corpus, redistribuição, reutilização comercial de parte substancial ou treinamento sobre o corpus como um todo exigem contrato separado - https://matematicsolutions.com/pt/licenca

## Recursos em polonês e inglês

- [Base de Conhecimento (polonês)](https://matematicsolutions.com/baza-wiedzy): artigos sobre governança de IA e LegalTech para escritórios de advocacia poloneses.
- [MateMatic Boutique - skills de IA jurídica (polonês)](https://matematicsolutions.com/boutique): catálogo de skills de IA jurídica para download.
- [llms.txt completo em polonês](https://matematicsolutions.com/llms.txt)
- [llms.txt em inglês](https://matematicsolutions.com/en/llms.txt)