afhverjuekki/claude-code-aristotle-plugin

9 stars · Last commit 2026-01-10

Aristotle AI plugin for Claude Code - theorem proving and code verification with Lean 4

PluginWorkflow & Automation Debugging Documentation Design & UI DevOps & Infra Productivity AI & Prompting

README preview

# Aristotle Plugin for Claude Code

A Claude Code plugin for **theorem proving** and **code verification** using [Aristotle AI](https://aristotle.harmonic.fun/) from Harmonic.

## Installation

```bash
# Step 1: Add the marketplace
claude plugin marketplace add afhverjuekki/claude-code-aristotle-plugin

# Step 2: Install the plugin
claude plugin install aristotle@aristotle-plugin
```

**Alternative methods:**

```bash
# Direct from GitHub
claude --plugin-dir https://github.com/afhverjuekki/claude-code-aristotle-plugin

View full repository on GitHub →