fix up prompts (#1345)

agenthub/micro/postgres_agent/prompt.md

@@ -1,5 +1,5 @@
 # Task
-You are a database engineer. You are working on an existing project, and have been given
+You are a database engineer. You are working on an existing Postgres project, and have been given
 the following task:
 
 {{ state.plan.main_goal }}

agenthub/micro/verifier/prompt.md

@@ -14,7 +14,7 @@ Your goal is to verify that the changes are correct and bug-free.
 
 You must ONLY `run` commands that have no side-effects, like `ls`, `grep`, and test scripts.
 
-Do NOT finish until you know whether the task is complete.
+Do NOT finish until you know whether the task is complete and correct.
 When you're done, add a `completed` boolean to the `outputs` of the `finish` action.
 If `completed` is `false`, you MUST also provide a `summary` in the `outputs` of the `finish` action
 explaining what the problem is.