ProofPilot Founding Release installs as a signed Mac utility.

Current release status

What the installer sets up

• The ProofPilot app bundle in Applications.
• A menu bar utility for settings, diagnostics, and mode toggles.
• The Command + Shift + K selected-text service.
• A login item so the menu bar utility is available after restart.

Recommended local AI setup

Standard ProofPilot uses about 38 MB installed. It works without Ollama, but the recommended setup adds stronger contextual correction and powers Formal mode. The default model is llama3.1:8b, the same configuration used to develop and test ProofPilot V1. Ollama plus this model uses about 5.5 GB total.

1. Turn on Local Ollama from the ProofPilot menu bar.
2. If Ollama is missing, choose Get Ollama and install it normally.
3. Return to ProofPilot and choose Download Model for the 4.9 GB llama3.1:8b download.
4. When ProofPilot says local AI is ready, use the shortcut as usual.

No Terminal commands or cloud account are required.

After install

• Select text in a Mac app that supports Services.
• Press Command + Shift + K.
• Review the replacement and use Undo in the writing app if needed.
• Open ProofPilot from the menu bar to check Ollama, Formal mode, and diagnostics.

Founding access

One payment gets founding users ProofPilot V1, every V1 update through the stable V1 line, continued V1 access after future major versions exist, and direct founder support. The signed installer is available immediately after a confirmed Stripe payment.

Future major versions will be separate paid upgrades, not subscriptions. Purchase is available now through secure Stripe checkout.