Skip to content

Add ProofKit to ADT migration guide #305

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
eluce2 merged 6 commits into from
Sep 22, 2026
Merged

Add ProofKit to ADT migration guide #305

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
6 commits
Select commit Hold shift + click to select a range
7814b34
docs: serve ProofKit to ADT migration prompt
eluce2 Sep 17, 2026
4a1483a
docs: derive ADT app name from package
eluce2 Sep 17, 2026
2cd4e95
docs: continue ADT wrapper migration
eluce2 Sep 17, 2026
cb35ada
docs: migrate ProofKit projects in place
eluce2 Sep 17, 2026
c4ba103
docs: add ADT migration guide
eluce2 Sep 20, 2026
562e4d4
docs: support short sidebar titles
eluce2 Sep 20, 2026
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
1 change: 1 addition & 0 deletions apps/docs/content/docs/ai/meta.json
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -21,6 +21,7 @@
"faq",
"---Reference---",
"upgrade-to-3",
"migrate-to-adt",
"updating-proofkit",
"manual-mcp-setup",
"enhanced-security",
Expand Down
42 changes: 42 additions & 0 deletions apps/docs/content/docs/ai/migrate-to-adt.mdx
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -0,0 +1,42 @@
---
title: Migrate from ProofKit to ADT
sidebarTitle: Migrate to ADT
description: Use a coding agent to migrate a ProofKit Web Viewer project and its FileMaker scripts to ADT.
---

import { Callout } from "fumadocs-ui/components/callout";

This migration moves a ProofKit Web Viewer project and its connected FileMaker file to the Agentic Development Toolkit from Claris (ADT). A coding agent performs the migration by following a detailed set of instructions.

<Callout type="error" title="ADT is still in beta">
Do not run this migration on a production system. Use a development or backup
copy of the FileMaker file, and make sure you can restore both the file and the
web project before you begin.

If you don't yet have access to ADT, you may continue using ProofKit
</Callout>

## What the migration changes

The agent will edit your existing FileMaker scripts in place, update the web project for ADT, and replace its ProofKit integration. It does not create a second set of FileMaker scripts for you to switch between.

After the migration, the project and FileMaker file will no longer be compatible with ProofKit. Once you have verified the ADT version, the agent will guide you through removing ProofKit deployment data and uninstalling the ProofKit add-on from the FileMaker file. Restoring the ProofKit version requires restoring your backups.

## Before you start

- Install the latest ADT beta on the computer where you will run the migration.
- Open a development or backup copy of your FileMaker file in FileMaker Pro.
- Open your coding agent in the root of the ProofKit project's Git repository.
- Make sure you have current, restorable backups of both the repository and the FileMaker file.

## Prompt your coding agent

Copy this prompt into your coding agent:

```text title="Prompt"
Fetch and follow the migration instructions at
https://proofkit.proof.sh/migrate-to-adt.md to migrate this ProofKit Web Viewer
project and its FileMaker file to an ADT WebViewer app.
```

The agent should stop if the installed ADT instructions are unavailable and ask you to run the ADT installer. Otherwise, it should inspect the project, discover the open FileMaker file, and handle the migration from the linked instructions.
Loading
Loading