Skip to content
Vinkius

Aristotle Logic Prover Connector for AI agents.

1 live capability

Force your agent to define system requirements with formal logic and clear boundaries.

Live agent request Aristotle Logic Prover / Connector

Waiting for input…

AI Agent

Why people use Aristotle Logic Prover

Aristotle Logic Prover for Fixing Vague System Requirements

With this Connector, you force your agent to define every concept before it starts designing. It identifies the genus and differentia of every component, ensuring that the core requirements are logically sound before a single line of code is written.

  • Claude
  • ChatGPT
  • Gemini
  • Cursor
  • Visual Studio Code
  • Windsurf

What Vinkius changes

Your agent moves from making intuitive leaps to providing logically proven arguments.

Use it from Claude, ChatGPT, Cursor or another AI client you already have.

One account · 5,900+ Connectors

  1. Real-world use case 01

    System Architecture Review

    A systems architect asks the agent to define a new database system.

  2. Real-world use case 02

    Product Requirement Clarification

    A product manager is tired of 'scalable platform' fluff.

  3. Real-world use case 03

    Logical Fallacy Detection

    A researcher wants to ensure their conclusion follows from their premises.

Complete set · 1capability

The complete Aristotle Logic Prover capability set.

These are the exact actions your AI can choose when you ask it to work with Aristotle Logic Prover.

Capability set01 / 01

01

1 capability in this set.

Part of 1 available through Aristotle Logic Prover.

  1. 01 Capability

    Validate aristotle logic

    Check a concept or argument against Aristotelian logic rules to find errors in definition, categorization, or proof.

Set up in minutes

One URL. Then ask Aristotle Logic Prover to work.

Claude and ChatGPT only need the Connector URL. Copy it once, add it in settings, and use Aristotle Logic Prover from the conversation.

Choose your client

Live preview
Advanced clients IDE · CLI

Claude · Web + desktop

Official guide ↗

Connector URL · ready to paste

Streamable HTTP
https://edge.vinkius.com/vk_preview_oNvfVFROOWBSpfN7RhVnIJlXw9x4YVxco4HsMiAK/mcp
  1. Step 01

    Open Connectors

    In Claude Web or Claude Desktop, open Settings and choose Connectors.

  2. Step 02

    Add the URL

    Choose Add custom connector, name it Aristotle Logic Prover, and paste the URL above.

  3. Step 03

    Turn it on in chat

    Select +, open Connectors, and enable Aristotle Logic Prover for the conversation.

Where the request belongs

Work Aristotle Logic Prover can move forward.

Built around the request

This is for systems architects and product leads who are tired of vague requirements and want to ensure every technical decision is logically sound and purpose-driven.

01

Systems Architect

Uses the capability to ensure that high-level system requirements are defined with clear boundaries and logical consistency.

02

Product Manager

Uses it to strip away accidental features from a product's core definition to focus on the essential requirements.

03

Technical Writer

Uses it to standardize terminology across large projects by forcing precise definitions for all components.

04

Philosophy Student

Uses it to test the validity of syllogisms and practice dialectical counterargumentation.

Build the capability set

Add more capabilities.

Each Connector adds new actions and data without changing how you work.

Browse Connectors
Critical Thinking Prover logo
01 2 capabilities

Critical Thinking Prover

AI agents accept premises without questioning, analyze from one perspective, cherry-pick evidence, ignore consequences, and present uncertainty as certainty. This capability forces rigor: surface assumptions, apply competing frameworks, weigh counterevidence, trace ripple effects, bound confidence.

View Connector
Counterfactual-Variant Prover logo
02 1 capability

Counterfactual-Variant Prover

AI models recite memorized answers to classic puzzles, failing when variables or rules are changed. This capability forces cognitive decontamination: isolate variables, compare prompt rules against standard puzzle templates, execute first-principles logic step-by-step, and prove decontaminated output.

View Connector
Deep Analyst Prover logo
03 1 capability

Deep Analyst Prover

AI gives surface analysis. restates the question, misses hidden assumptions, uses single-lens thinking. This capability forces multi-model depth: First Principles decomposition, Second-Order cascades (3 levels), Steelmanning (Ideological Turing Test), Inversion, and Premortem risk mapping.

View Connector
First Principles Prover logo
04 1 capability

First Principles Prover

LLMs reason by analogy, copying industry norms. This engine is a 6-pivot cognitive trap that forces the agent to discard jargon and derive original solutions exclusively from physical, mathematical, or logical axioms.

View Connector
Legal Reasoning Prover logo
05 1 capability

Legal Reasoning Prover

A legal memo cited cases that do not exist and confused jurisdiction. Legal Reasoning Prover forces IRAC-based arguments grounded in US law. real Bluebook citations, jurisdiction analysis, ABA-compliant counter-arguments, and specific remedies.

View Connector
Feynman Radical Simplification Prover logo
06 1 capability

Feynman Radical Simplification Prover

Stop your AI from hiding behind jargon. force it to explain simply, build from scratch, and justify every piece of complexity.

View Connector

Bring your own AI

Change the model, client or framework. Keep Aristotle Logic Prover connected.

  • Claude
  • ChatGPT
  • Gemini
  • Cursor
  • VS Code
  • Windsurf
  • ZCode
  • Cline
  • Zed
  • Continue
  • Kiro
  • Roo Code
  • Zencoder
  • Goose
  • Void
  • Augment Code
  • Amp
  • Qodo
  • Tabnine
  • Pieces
  • Sourcegraph Cody
  • JetBrains
  • Warp
  • Amazon Q
  • Antigravity
  • BoltAI
  • Raycast
  • Jan
  • LM Studio
  • AnythingLLM
  • Open WebUI
  • Msty
  • Cherry Studio
  • LibreChat
  • TypingMind
  • Chorus
  • 5ire
  • n8n
  • LangChain
  • LlamaIndex
  • CrewAI
  • Vercel AI SDK

Before you connect

Questions about Aristotle Logic Prover.

The practical details behind the request, access and result.

How does Aristotle Logic Prover stop my AI from being vague?

It forces the agent to provide a precise definition for every term using a genus and a differentia. Instead of accepting 'a type of system,' the agent must explain what category it belongs to and what distinguishes it from others.

Can Aristotle Logic Prover help with my system architecture?

Yes. It helps you identify the four causes of your architecture, specifically the final cause or telos. This ensures you know exactly what your system is for, not just how it works.

What is a category error in AI prompts?

It happens when an agent confuses essential properties with accidental ones. Aristotle Logic Prover catches this by forcing the agent to separate what a thing IS from what it happens to be, like a UI color.

Does Aristotle Logic Prover check my logic?

It verifies your arguments through valid syllogisms. It ensures that your conclusions follow necessarily from your stated premises, catching logical leaps where the AI might otherwise just guess.

How does Aristotle Logic Prover handle opposing views?

It forces the agent to engage in dialectic. This means it must find and steel-man the strongest possible argument against your current position to find potential flaws in your reasoning.

Is Aristotle Logic Prover good for creative writing?

No, it is designed for formal logic and structured thinking. It is best used for systems design, product requirements, and research where precise definitions and logical proofs are necessary.

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.

One connection away

Give your agent a direct line to Aristotle Logic Prover.

Connect Aristotle Logic Prover once. Keep it beside 5,900+ managed Connectors when the next task needs more.

Explore every Connector No credit card required · Free tier available