Agent skill · parcadei

prove

Formal theorem proving with research, testing, and verification phases

Reference it in any coding agent with:

@skills parcadei/prove

Browse the @skills marketplace