- SUCCESS
- MISMATCH
- ERROR
- HUMAN
Short answer
How can I use AI to verify a technical migration?
Your agent uses execution logs and requirement lists to confirm that all code changes and infrastructure updates were completed correctly. This process catches missed steps or failed deployments by comparing actual system output against your migration plan.
The audit results.
Where your migration findings land.
The AI sorts its findings into these four categories based on what it finds in the logs.
SUCCESS
Verified completions
The AI confirms that specific requirements were met. You get a clean list of finished tasks.
MISMATCH
Requirement gaps
The AI flags where the execution logs don't match your migration checklist. It highlights exactly what's missing.
ERROR
Execution failures
The AI identifies failed commands or broken processes. You get the specific error context from the logs.
HUMAN
Manual review needed
The AI flags ambiguous results that require your eyes. It won't guess if the logs are unclear.
The workflow
What your AI does when the migration starts.
The agent acts as an independent auditor for your technical changes.
Ingest requirements
The agent reads your migration plan or task list to understand what must happen.
validate_task_completionScan execution logs
The AI pulls the latest logs from your deployment or migration run to see what actually happened.
validate_task_completionCross-reference changes
It compares the log entries against the required steps to find discrepancies.
validate_task_completionReport status
The agent summarizes which tasks passed, which failed, and which need you to step in.
validate_task_completion
Try it
Copy these to start.
Use these prompts to kick off the verification process.
Starting points
These are opening lines. Swap out the bracketed text with your specific repo or log paths.
Critical Thinking Prover Connector
You're all set. Choose your MCP client and follow the setup instructions.
https://edge.vinkius.com/vk_preview_HnRM4jwjWWzTcwIx1fdDtyj5utGoROvccTsTLtXH/mcpClaude Desktop
Follow the steps below to connect in seconds.
- 1In Claude Desktop, open Settings → Connectors.
- 2Click “Add custom connector” and paste the connector link above as the remote MCP server URL.
- 3Click Add and start a new chat — Critical Thinking Prover capabilities are ready to use.
{
"mcpServers": {
"critical-thinking-prover-mcp": {
"url": "https://edge.vinkius.com/vk_preview_HnRM4jwjWWzTcwIx1fdDtyj5utGoROvccTsTLtXH/mcp"
}
}
}Verify the migration tasks in the 'prod-migration-v2' repo against the latest execution logs.
Check the deployment logs in the 'infrastructure-update' folder to see if all database changes were applied.
Compare the requirements in my migration checklist with the output from the last CI/CD run.
Review the logs for the 'api-refactor' task and tell me if any steps were skipped.
Claude
ChatGPT
Cursor
VS Code
Windsurf
Claude Code
JetBrains
Cline
Start here
Connect Critical Thinking Prover once, then ask.
Just link the MCP to your client. Your credentials stay encrypted, and you can start auditing immediately.
Connect Critical Thinking Prover to your AIFAQ
How this task behaves.
- 01
Can the AI fix the code if it finds a migration error?
No. The AI only verifies and reports. You must manually apply any fixes to your code or infrastructure.
- 02
Does the AI have permission to run deployment commands?
No. This MCP is for validation and reading logs. It cannot execute new commands or trigger deployments.
- 03
How does it know if a task is actually done?
It uses the validate_task_completion tool to match the logs against your provided requirements.
- 04
Can I use this for continuous integration?
Yes. You can point your agent to the logs generated by your CI/CD pipeline to verify every build.
- 05
What happens if the logs are empty?
The AI will report a mismatch or a failure, as it cannot verify a task without corresponding log evidence.
More questions about Critical Thinking Prover? The Connector page answers them. See everything the Critical Thinking Prover Connector can do
Connect Critical Thinking Prover to Claude, Cursor, ChatGPT & more
