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

1 ポイント投稿者 youio5 か月前0 コメント

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 コメント

—