Skip to content
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
4 changes: 2 additions & 2 deletions apps/docs/content/docs/ai/install-and-connect.mdx
Original file line number Diff line number Diff line change
Expand Up @@ -17,13 +17,13 @@ ProofKit installs several pieces that work together: a FileMaker add-on, a FileM
<Step>
**Download and run the installer.**

Before you run it, **fully quit both FileMaker Pro and your coding agent** (Claude Desktop, Cursor, etc.). They must be closed during installation so the new plug-in and integrations register correctly. Then get the installer for your platform:
Get the installer for your platform:

<DownloadLink />

The installer sets up the local ProofKit tools and registers integrations for supported coding agents.

After the installer finishes, **restart both FileMaker Pro and your coding agent** (Claude Desktop, Cursor, etc.) so they load the new ProofKit plug-in and integrations. Skipping this restart is the most common cause of connection failures.
When it finishes, **fully restart both FileMaker Pro and your coding agent** (Claude Desktop, Cursor, etc.) so they pick up the new plug-in and integrations. Skipping this restart is the most common cause of connection failures.
</Step>

<Step>
Expand Down
Loading