Help for ProofPilot Founding Release users.

Before you write in

• Confirm the text was selected before pressing Command + Shift + K.
• Try the same correction in a second app if one app behaves strangely.
• If using Ollama or Formal mode, confirm the local model is installed and ready.
• Use Undo in the writing app if the replacement is not what you wanted.

Useful bug reports

The best reports include the app you were writing in, your macOS version, whether Ollama or Formal mode was enabled, what you selected, what ProofPilot returned, and what you expected instead.

If local AI or setup is the problem, run ProofPilot diagnostics and include the output in the report. Diagnostics show settings and Ollama readiness, not the selected text you were correcting.

In the ProofPilot setup app, use ProofPilot > Copy Diagnostics to copy that report without opening Terminal.

Founding Release contact

Installer status

Public installer links should use the signed and notarized build. Until that package is ready, direct fulfillment can stay manual for trusted testers.