An astronaut overseeing a futuristic data hub
Baixar PDFVersão em Markdown

Conecte Aristotle Logic Prover ao ChatGPT, Claude e Gemini

Configure uma vez e funcione no ChatGPT, Claude, Cursor e em qualquer outro cliente que você goste. Tudo roda com segurança em segundo plano, para você relaxar e focar no que realmente importa. Transforme argumentos vagos em raciocínios academicamente comprovados.

Pergunte à IA sobre este Connector

Desenvolvido, mantido e hospedado pela Vinkius.

MCP VERIFICADO · PRONTO PARA PRODUÇÃO · GARANTIA VINKIUS

Waiting for input…

Works with modern AI clients that support MCP, including ChatGPT, Claude, Cursor, and more.

ChatGPTClaudeCursorPerplexityGeminiMicrosoft CopilotRaycastMeta AI

A sua IA faz o trabalho. A gente cuida com segurança.

Nenhuma outra ferramenta de IA te dá isso. O seu workflow roda no cliente que você já ama, a sua conta fica protegida, e você decide o que o agente pode e não pode fazer. É a razão completa para mudar de vez.

Cada Connector vive dentro da nossa infraestrutura, no mesmo lugar onde o seu workflow roda. As três coisas abaixo já fazem parte dele, trabalhando silenciosamente em segundo plano para que você nunca precise pensar nelas. Nada para adicionar, nada para configurar, nada com que se preocupar.

A futuristic MCP client docking bay
V8 Isolate01

Cada Connector roda dentro do seu próprio ambiente lacrado.

Cada Connector roda em seu próprio runtime V8 lacrado — sem acesso aos seus arquivos, ao seu sistema ou a outros servidores. Um Connector nunca enxerga além da sua própria requisição.

Kill Switch02

Um interruptor para todos os agentes. Na hora.

Uma única ação desativa todos os Connectors, revoga todos os tokens e encerra todas as sessões de uma vez. A Governança de IA guarda o registro.

FinOps por usuário03

Limites de gastos que pausam em vez de assustar.

Cada usuário tem suas próprias conexões e credenciais, isoladas das dos demais. O que ultrapassar o seu limite de gastos fica aguardando a sua aprovação, em vez de ser cobrado.

Três controles, embutidos na camada pela qual sua IA se conecta.

Conjunto curado · 1 capacidade

Entregamos só as ações que importam.

Conjunto de capacidades01 / 01

01

1 capacidade neste conjunto.

Parte de 1 disponível através de Aristotle Logic Prover.

  1. 01

    Analisar Lógica Aristotélica

    Funciona como um revisor de lógica avançado, forçando o texto a passar por uma análise rigorosa de gênero, diferença, propriedades essenciais e acidentais, validade silogística, causas e contra-argumentos.

Automatize uma tarefa

Coloque Aristotle Logic Prover para trabalhar em uma coisa.

Automações passo a passo que sua IA executa por este Connector: o fluxo, os prompts para começar e as capabilities exatas por trás de cada passo.

Um connector, todas as IAs

Aristotle Logic Prover funciona com os clientes de IA mais populares.

Estes são os clientes mais populares, cada um com um guia passo a passo: um link, configurado uma vez, com governança e visibilidade embutidas. E como tudo roda no padrão MCP, a mesma conexão também funciona em qualquer outro cliente compatível — nada para reconstruir.

ClaudeClaudeChatGPTChatGPTGeminiGeminiPerplexityPerplexityGrokGrokMicrosoft CopilotMicrosoft CopilotCursorCursorVS CodeVS CodeWindsurfWindsurfJetBrainsJetBrainsClineClineLangChainLangChainVercel AI SDKVercel AI SDKLovableLovableZ.aiZ.aiRaycastRaycastQwen CodeQwen CodeKimi CodeKimi CodeLe ChatLe Chat

Construindo o seu próprio app? O connector é seu para usar.

Você não precisa de um cliente para colocar Aristotle Logic Prover para trabalhar: a mesma conexão hospedada entra nas suas aplicações e no código do seu agente, com a mesma governança em cada pedido. Construa com ele, converse com ele — uma conexão para os dois.

Observada, não estimada

Média de 931ms. Rápida em produção.

Aristotle Logic Prover é verificado diariamente contra o serviço em produção.

Média diáriaPico de 1215ms
3 de out.Hoje
Dia mais rápido
732ms
Dia mais lento
1215ms
Tendência de 14 dias
Estável-2%

Conecte seu cliente

Uma URL. Todos os clientes.

Ative o Connector, copie seu link e cole no cliente que você já usa. 1 capacidade chega pronta para rodar.

Acesso de prévia · não é autenticação no provedor

O token vk_preview_* pertence à infraestrutura de prévia da Vinkius. Ele permite que o Claude descubra e exiba as capacidades de Aristotle Logic Prover, para você ver a experiência dentro da sua IA.

Ele não autentica a sua conta com Aristotle Logic Prover. Ações que exigem credenciais ou dados reais da conta podem não ser executadas até que você ative o Connector e autorize o serviço.

Aristotle Logic Prover Connector

Tudo pronto. Escolha seu cliente MCP e siga as instruções de configuração.

Link do conectorhttps://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp

Claude Desktop

Siga os passos abaixo para conectar em segundos.

  1. 1In Claude Desktop, open Settings → Connectors.
  2. 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
  3. 3Click Add and start a new chat — Aristotle Logic Prover capabilities are ready to use.
Configuração · claude_desktop_config.jsonCopiar
{
  "mcpServers": {
    "aristotle-logic-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp"
    }
  }
}
  • Claude
  • ChatGPT
  • Cursor
  • VS Code
  • Windsurf
  • Claude Code
  • JetBrains
  • Cline

Instruções passo a passo para cada cliente estão no guia. Como conectar

Configuração guiada para o Claude? Configurar Aristotle Logic Prover no Claude e outras IAs

Veja todos os clientes de IA com quem este connector funciona ↑

Para quem é

Feito para o trabalho que quem usa Aristotle Logic Prover delega.

Esta ferramenta é ideal para profissionais que trabalham com conteúdo técnico, estratégia de negócios ou desenvolvimento de produtos. Se você depende da precisão lógica e da profundidade argumentativa, o Provedor de Lógica de Aristóteles MCP Connector garantirá que seus argumentos resistam ao escrutínio mais rigoroso.

FAQ

Perguntas de quem usa Aristotle Logic Prover.

  • 01

    O que exatamente o Provedor de Lógica de Aristóteles faz?

    Ele analisa textos para identificar falhas lógicas comuns em IA, como definições vagas, confusão entre propriedades essenciais e acidentais, silogismos inválidos e falta de análise do contra-argumento. Ele força o raciocínio a ser estruturado pela lógica clássica.

  • 02

    Preciso saber o que é 'gênero e diferença' para usar o MCP Connector?

    Não é necessário ser um especialista. O Connector fará isso por você. Ele exige que você defina um conceito não apenas pelo que ele é, mas também pela categoria maior a que pertence (gênero) e pelo que o diferencia dos outros membros dessa categoria (diferença).

  • 03

    Este Connector funciona apenas com textos longos e acadêmicos?

    Não. Embora seja ideal para textos complexos, ele é útil para qualquer argumento. Se você tem uma afirmação de negócios ou um requisito de produto, ele pode verificar se o raciocínio por trás dela é logicamente sólido.

Explore

Mais em Architecture

Sugestões

Conecte Aristotle Logic Prover ao Claude, Cursor, ChatGPT e outros