Searching protocol for "proof-obligation"
Turn natural language into high-quality Claude prompts.
Validate prompt structure and XML/blocks.