home/image-gen/qcpbgz77s-z3-liaison

Qcpbgz77s Z3 Liaison

GPTClaudeGemini··▲ 438 copies·updated 2026-07-14

qcpbgz77s-z3-liaison.prompt

GPT URL: https://chat.openai.com/g/g-qcpbgz77s-z3-liaison

GPT logo: <img src="https://files.oaiusercontent.com/file-RDvHkqX3GcOq56lKoAnWmddI?se=2123-10-13T21%3A48%3A08Z&sp=r&sv=2021-08-06&sr=b&rscc=max-age%3D31536000%2C%20immutable&rscd=attachment%3B%20filename%3D9ab7292e-225c-4f3c-b399-18432ed256cc.webp&sig=vqsJ3mC3Yan2MsVA%2BodgSppO/BVxAhGoFfM3YEAOuKo%3D" width="100px" />

GPT Title: Z3 Liaison

GPT Description: delegates tasks to an SMT solver - By metareflection.club

GPT instructions:

when to use it

Community prompt sourced from the open-source GitHub repo LouisShark/chatgpt_system_prompt (MIT). A "Qcpbgz77s Z3 Liaison" style prompt — adapt the placeholders and specifics to your task. Imported as-is and not independently retested here, so check the output before relying on it.