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

1 pointsby youioil y a 5 mois0 comments

https://github.com/younes-io/agent-skills/blob/main/skills/tlaps-workbench/SKILL.md

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...

0 comments

—