Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com)

One-shot prompt: "$tlaps-workbench Model simplified Raft leader election (terms, votes). Prove leader uniqueness per term and monotonic term growth."

TLAPS Proof: https://github.com/younes-io/tlaplus-workbench-examples/blob...