単なる文章校正や文法チェック機能ですか？

いいえ、それ以上の機能を提供します。単なる文法チェックではなく、アリストテレスの論理学に基づき、文章の「論理的な構造」そのものを検証します。定義の曖昧さや、前提から結論が必然的に導かれているか（三段論法）をチェックします。

AIが「なぜそうなるのか」という目的まで分析してくれますか？

はい。単に「何が起こるか」というプロセス（効率的因）だけでなく、「何のために存在するのか」という最終目的（テロス）の視点から、論理的な目的を特定します。これにより、提案の根幹となる「目的」が明確になります。

論理的な穴を見つけることはできますか？

可能です。特に、最も強力な反論（steel-man）を想定し、その反論に対してあなたの論理が耐えられるかを検証します。これにより、見落とされがちな論理的な弱点や前提の欠陥を指摘します。

An astronaut overseeing a futuristic data hub

Aristotle Logic ProverをChatGPTとClaudeに接続

一度設定すれば、ChatGPT、Claude、Cursorなど、お気に入りのクライアントでどれでも動きます。すべては裏側で安全に動くので、あなたは安心して本当に大切なことに集中できます。曖昧なAIの主張を、厳密な論理学の視点から徹底的に構造化し、確かな結論を導き出します。

このConnectorについてAIに質問

Vinkiusが開発・運用・ホスティング。

MCP認証済み · 本番環境対応 · Vinkius保証

Waiting for input…

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

AIが仕事をこなします。私たちが安全に守ります。

他のAIツールではこれは手に入りません。ワークフローはお気に入りのクライアントで動き、アカウントは守られ、エージェントに何を許すかはあなたが決めます。これこそ乗り換えるべき理由です。

すべてのConnectorは当社のインフラストラクチャの中、あなたのワークフローが動くのと同じ場所にあります。下の3つはすでにその一部で、背景で静かに働き、あなたが意識する必要がないようにしてくれます。追加するものも、設定するものも、心配することもありません。

V8 Isolate01

各Connectorは独自の密閉された環境内で実行されます。

各Connectorは独自の封印されたV8ランタイムで実行され、ファイル、システム、他のサーバーへのアクセスはありません。Connectorが自身のリクエストを超えて中身を見ることはありません。

Kill Switch02

1つのスイッチで全エージェントを停止。即座に。

1つのアクションで全Connectorを無効化し、全トークンを失効させ、全セッションを終了します。AI Governanceが記録を保持します。

ユーザーごとのFinOps03

驚きではなく、一時停止する支出制限。

各ユーザーは自身の接続と認証情報を持ち、他から隔離されています。支出制限を超える操作は課金されず、あなたの承認を待ちます。

3つのコントロールが、AIが接続するレイヤーに組み込まれています。

厳選セット · 1機能

届けるのは、本当に必要な動作だけです。

機能セット01 / 01

01

このセットには1機能あります。

Aristotle Logic Proverで使える1機能の一部です。

01
アリストテレスの論理構造を検証
形式論理学の父アリストテレスの視点から、提示された主張を多角的に分析します。用語の定義、必須要素と偶然要素の分類、論理的な推論の妥当性、目的（テロス）の特定、そして最も強力な反論の検討を行います。

タスクを自動化

Aristotle Logic Proverを一つのタスクに働かせる。

このConnector経由でAIが実行するステップバイステップの自動化：ワークフロー、始めるためのプロンプト、そして一つひとつの動きの裏にある正確な機能。

1つのConnector、すべてのAI

Aristotle Logic Proverは、最も人気のあるAIクライアントで動きます。

これは最も人気のあるクライアントで、それぞれにステップバイステップのガイドがあります。リンクは1つ、設定は一度、ガバナンスと可視性は最初から組み込み。しかもすべてMCP標準で動くため、同じ接続は他の対応クライアントでもそのまま使えます。作り直す必要はありません。

自社アプリを作っていますか？Connectorはあなたのもの。

Aristotle Logic Proverを働かせるのにクライアントは不要です。同じホストされた接続が、あなたのアプリやエージェントのコードにそのまま組み込め、すべてのリクエストに同じガバナンスが適用されます。作るのも、会話するのも、1つの接続で両方。

実測値、推定値ではない

平均931ms。本番環境で高速。

Aristotle Logic Proverは本番サービスに対して毎日チェックされています。

日次平均最大1215ms

10月3日今日

最速日: 732ms
最遅日: 1215ms
14日間の傾向: 安定-2%

クライアントを接続

1つのURL。すべてのクライアント。

Connectorを有効化し、リンクをコピーして、いつも使うクライアントに貼り付けるだけ。1個の機能がすぐに使えます。

プレビューアクセス · プロバイダー認証ではありません

vk_preview_* トークンは Vinkius のプレビューインフラに属します。Claude が Aristotle Logic Prover のケイパビリティを検出して表示できるようにし、AI の中でその体験を確認できます。

このトークンは Aristotle Logic Prover のアカウントを認証するものではありません。認証情報や実際のアカウントデータが必要なアクションは、Connector を有効化してサービスを承認するまで実行されない場合があります。

Aristotle Logic Prover Connector

準備完了です。MCPクライアントを選択し、セットアップ手順に従ってください。

コネクタリンクhttps://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp

Claude Desktop

以下の手順で数秒で接続できます。

1In Claude Desktop, open Settings → Connectors.
2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
3Click Add and start a new chat — Aristotle Logic Prover capabilities are ready to use.

設定 · claude_desktop_config.jsonコピー

{
  "mcpServers": {
    "aristotle-logic-prover-mcp": {
      "url": "https://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp"
    }
  }
}

Claude
ChatGPT
Cursor
VS Code
Windsurf
Claude Code
JetBrains
Cline

各クライアントの手順ガイドはこちらです。接続方法

Claude向けのガイド付きセットアップ？ Aristotle Logic ProverをClaudeや他のAIに設定する

このConnectorが対応するすべてのAIクライアントを見る ↑

対象ユーザー

Aristotle Logic Proverユーザーが任せたい仕事のために。

本MCP Connectorは、AIが生成した情報やアイデアの論理的な信頼性を根本から検証したい専門家向けです。単に「正しい」かどうかだけでなく、「なぜ正しいのか」「どのような前提に基づいているのか」という構造的な根拠を突き止め、アウトプットの質を飛躍的に向上させます。

FAQ

Aristotle Logic Proverユーザーからのよくある質問。

01
単なる文章校正や文法チェック機能ですか？
いいえ、それ以上の機能を提供します。単なる文法チェックではなく、アリストテレスの論理学に基づき、文章の「論理的な構造」そのものを検証します。定義の曖昧さや、前提から結論が必然的に導かれているか（三段論法）をチェックします。
02
AIが「なぜそうなるのか」という目的まで分析してくれますか？
はい。単に「何が起こるか」というプロセス（効率的因）だけでなく、「何のために存在するのか」という最終目的（テロス）の視点から、論理的な目的を特定します。これにより、提案の根幹となる「目的」が明確になります。
03
論理的な穴を見つけることはできますか？
可能です。特に、最も強力な反論（steel-man）を想定し、その反論に対してあなたの論理が耐えられるかを検証します。これにより、見落とされがちな論理的な弱点や前提の欠陥を指摘します。

さがす

Architectureの他のコネクタ

『Aristotle Logic Prover』を Claude、Cursor、ChatGPT などに接続

Aristotle Logic ProverをChatGPTとClaudeに接続