Prompt linter: find contradictions and vague lines in your prompts