How is this different from the Archimedes First Principles Prover?

Archimedes forces DECOMPOSITION. break the problem into irreducible components. Aristotle forces FORMAL LOGIC. define terms precisely, prove conclusions through valid syllogisms, identify purpose through four causes, and examine counterarguments dialectically. Archimedes asks 'what are the components?' Aristotle asks 'is the argument VALID?'

What are Aristotle's four causes?

Material (what is it made of?), Formal (what is its structure?), Efficient (what process made it?), Final (what is it FOR. the telos). Most people describe only the efficient cause. the mechanism. Aristotle demands the final cause first: why does this thing EXIST? What is its purpose?

Can I use this for product design, not just philosophical arguments?

Yes. Every product decision involves definition (what IS this product. category and differentiator), categorization (which features are essential vs. nice-to-have), logical proof (does the conclusion follow from the premises), purpose (what is this product FOR. not what it does), and dialectic (what is the best argument against building this). Aristotle is not philosophy. it is the operating system of clear thinking.

An astronaut overseeing a futuristic data hub

Download PDF Markdown Version

Connect Aristotle Logic Prover to ChatGPT, Claude and Gemini

Set it up once and it works in ChatGPT, Claude, Cursor, and any other client you love. It all runs safely in the background, so you can relax and focus on what really matters. Build airtight, undeniable, and fully defined reasoning.

Ask AI about this Connector

Developed, maintained, and hosted by Vinkius.

MCP VERIFIED · PRODUCTION READY · VINKIUS GUARANTEED

Waiting for input…

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

Your AI does the work. We keep it safe and sound.

No other AI tool gives you this. Your workflow runs in the client you already love, your account stays protected, and you decide what the agent can and cannot do. It is the whole reason to make the switch.

Each Connector lives inside our infrastructure, the same place where your workflow runs. The three things below are already part of it, working quietly in the background so you never have to think about them. Nothing to add, nothing to set up, nothing to worry about.

V8 Isolate01

Each Connector runs inside its own sealed environment.

Each Connector runs inside its own sealed V8 runtime — no access to your files, your system, or other servers. A Connector never sees past its own request.

Kill Switch02

One switch stops every agent. Instantly.

One action deactivates every Connector, revokes every token, and ends every session at once. AI Governance keeps the record.

FinOps per User03

Spending limits that pause instead of surprise.

Every user keeps their own connections and credentials, isolated from everyone else. Anything that would cross your spending limit is held for your approval, not billed.

Three controls, built into the layer your AI connects through.

Curated set · 1 capability

We ship only the actions that matter.

Capability set01 / 01

01

1 capability in this set.

Part of 1 available through Aristotle Logic Prover.

01
Validate aristotle logic
Think like Aristotle. the father of formal logic and systematic categorization. You must: (1) DEFINE PRECISELY. every key term with genus (the broader category it belongs to) + differentia (the property that distinguishes it from other members of that genus). Aristotle: "Man is a RATIONAL ANIMAL". genus: animal, differentia: rational. "A type of system" has no genus and no differentia, (2) CATEGORIZE CORRECTLY. separate essential properties (without which it would be a DIFFERENT thing entirely) from accidental properties (which can change without changing WHAT it is). Use Aristotle's 10 categories: substance, quantity, quality, relation, place, time, position, state, action, affection. Misclassifying accidental as essential is a category error, (3) PROVE SYLLOGISTICALLY. major premise (universal claim) + minor premise (specific case) + conclusion (necessary result). The conclusion must follow NECESSARILY from the premises. "Therefore obviously" is an assertion, not a valid inference. Test: would the conclusion hold even if the premises were hypothetically about different subjects? (4) IDENTIFY PURPOSE. Aristotle's four causes: material (what it is made of), formal (its essential structure), efficient (what process creates it), and FINAL (its telos. what it is FOR). The final cause is the most important. "How it works" answers the efficient cause. "What it is FOR" answers the final cause. Do not confuse mechanism with purpose, (5) EXAMINE THE STRONGEST COUNTERARGUMENT. dialectically. Aristotle's students debated every position from BOTH sides. Find the BEST argument against your position (steel-man, not straw-man), identify which of your premises it challenges, respond substantively, and note what residual doubt remains. If rejected, your logic has a formal deficiency. strengthen the argument. Structured reflection capability for Aristotelian formal logic. Forces the agent to define terms with genus and differentia, classify essential vs accidental properties, prove conclusions through valid syllogisms, identify purpose through the four causes, and examine the strongest counterargument dialectically. Catches Definition Vagueness ("a type of system". no genus, no differentia), Category Errors (treating accidental properties as essential. confusing what something IS with what it HAPPENS TO BE), Syllogism Invalidity (conclusions that do not follow necessarily from premises. "therefore obviously" masking logical leaps), Purpose Blindness (describing HOW something works without identifying WHAT it is FOR. mechanism without telos), and Dialectic Absence (no counterargument examined. claiming "there is no alternative" instead of steel-manning the strongest opposing position). Call once per classification, logical argument, or definitional analysis

Automate a task

Put Aristotle Logic Prover to work on one thing.

Step-by-step automations your AI runs through this Connector: the workflow, the prompts to start with, and the exact capabilities behind each move.

One connector, every AI

Aristotle Logic Prover works with the most popular AI clients.

These are the most popular clients, each with a step-by-step guide: one link, set up once, with governance and visibility built in. And because everything runs on the MCP standard, the same connection also works in any other compatible client — nothing to rebuild.

Building your own app? The connector is yours to use.

You don't need a client to put Aristotle Logic Prover to work: the same hosted connection plugs into your own applications and agent code, with the same governance on every request. Build with it, chat with it — one connection for both.

Observed, not estimated

931ms average. Fast in production.

Aristotle Logic Prover is checked daily against the live service.

Daily averagePeak 1215ms

Oct 3Today

Fastest day: 732ms
Slowest day: 1215ms
14-day trend: Stable-2%

Connect your client

One URL. Every client.

Activate the Connector, copy your link, and paste it into the client you already use. 1 capability arrives ready to run.

Preview access · not provider authentication

The vk_preview_* token belongs to Vinkius preview infrastructure. It lets Claude discover and display the capabilities of Aristotle Logic Prover, so you can see the experience inside your AI.

It does not authenticate your account with Aristotle Logic Prover. Actions requiring credentials or live account data may not run until you activate the Connector and authorize the service.

Aristotle Logic Prover Connector

You're all set. Choose your MCP client and follow the setup instructions.

Connector linkhttps://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp

Claude Desktop

Follow the steps below to connect in seconds.

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.

Configuration · claude_desktop_config.jsonCopy

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

Claude
ChatGPT
Cursor
VS Code
Windsurf
Claude Code
JetBrains
Cline

Step-by-step instructions for each client are in the guide. How to connect

Guided setup for Claude? Set up Aristotle Logic Prover in Claude and other AIs

See all the AI clients this connector works with ↑

FAQ

Questions Aristotle Logic Prover owners ask.

01
How is this different from the Archimedes First Principles Prover?
Archimedes forces DECOMPOSITION. break the problem into irreducible components. Aristotle forces FORMAL LOGIC. define terms precisely, prove conclusions through valid syllogisms, identify purpose through four causes, and examine counterarguments dialectically. Archimedes asks 'what are the components?' Aristotle asks 'is the argument VALID?'
02
What are Aristotle's four causes?
Material (what is it made of?), Formal (what is its structure?), Efficient (what process made it?), Final (what is it FOR. the telos). Most people describe only the efficient cause. the mechanism. Aristotle demands the final cause first: why does this thing EXIST? What is its purpose?
03
Can I use this for product design, not just philosophical arguments?
Yes. Every product decision involves definition (what IS this product. category and differentiator), categorization (which features are essential vs. nice-to-have), logical proof (does the conclusion follow from the premises), purpose (what is this product FOR. not what it does), and dialectic (what is the best argument against building this). Aristotle is not philosophy. it is the operating system of clear thinking.

Explore

More in Architecture

Connect Aristotle Logic Prover to Claude, Cursor, ChatGPT & more

Connect Aristotle Logic Prover to ChatGPT, Claude and Gemini

Your AI does the work. We keep it safe and sound.