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

> A MateMatic constrói infraestrutura europeia de LegalTech. Sua primeira plataforma, o PATRON, dá a um escritório de advocacia uma IA local alinhada ao EU AI Act e ao sigilo profissional: trabalha sobre os próprios documentos do escritório, mostra suas fontes e deixa uma trilha de auditoria. Prior tempore, potior iure.

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

Escopo: PATRON, uma plataforma de IA local para escritórios de advocacia (código aberto, zero-cloud por padrão), além de serviços de implantação em torno dela - 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, 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)

- [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, controle de fonte (citação / paráfrase / sem base), trilha de auditoria (hash-chain + árvore de Merkle, RFC 6962), traga seu próprio modelo (Claude, Gemini, Ollama, OpenRouter), 6 conectores MCP para o direito polonês e da UE (SAOS, NSA, ISAP, KRS, EUR-Lex/TJUE, EU-Compliance). Gratuito, roda em Windows.
- [Sobre a MateMatic](https://matematicsolutions.com/pt/o-nas): a equipe - fundador 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: 41 servidores MCP open source (6 embutidos no PATRON) que fundamentam fontes jurídicas públicas por ELI/ECLI nativos em 32 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): 41 servidores MCP open source (GitHub; 6 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. Ao menos 4 milhões de documentos-fonte em 32 jurisdições. Local, majoritariamente sem necessidade de chave de API.

## Fatos-chave para citação

- 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).
- O controle de fonte 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 com árvore de Merkle (RFC 6962), verificável offline e independente da MateMatic - dando suporte ao registro de eventos do art. 12 do EU AI Act.
- O PATRON traz 6 conectores MCP nativos (SAOS, NSA, ISAP, KRS, EUR-Lex/TJUE, EU-Compliance). A Boutique estende isso a 41 conectores MCP open source (MIT ou Apache-2.0) em 32 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. Fundador: Wiesław Mazur.

## Recursos em polonês e inglês

- [Base de Conhecimento (polonês)](https://matematicsolutions.com/baza-wiedzy.html): 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)