From 118a89b09dd23980bc0bd1786cc2b600f72b2500 Mon Sep 17 00:00:00 2001 From: Todd Geist Date: Tue, 19 May 2026 16:22:07 -0700 Subject: [PATCH] docs(ai): emphasize quitting/restarting FM + agent in install step 1 --- apps/docs/content/docs/ai/install-and-connect.mdx | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/apps/docs/content/docs/ai/install-and-connect.mdx b/apps/docs/content/docs/ai/install-and-connect.mdx index 89a9baa3..ee820158 100644 --- a/apps/docs/content/docs/ai/install-and-connect.mdx +++ b/apps/docs/content/docs/ai/install-and-connect.mdx @@ -17,13 +17,13 @@ ProofKit installs several pieces that work together: a FileMaker add-on, a FileM **Download and run the installer.** - Before you run it, quit FileMaker Pro and your coding agent, such as Claude Desktop. Then get the installer for your platform: + 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: The installer sets up the local ProofKit tools and registers integrations for supported coding agents. - After the installer finishes, reopen FileMaker Pro and your coding agent so they load the new ProofKit plug-in and integrations. + 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.