youio 15 karma 2y 1m on HN HN profile →
Coverage
We've seen 2 of an unknown number of submissions
Full eval: 0 Lite-only: 0 Unevaluated: 2
2 stories
1. Show HN: I Made an AI Skill to Help Write Tlaps Proofs (github.com)
1 points by youio 4 days ago | 0 comments | skipped
2.
HRCB 0.00
E 0.00
S
Show HN: TLA+ Workbench skill for coding agents (compat. with Vercel skills CLI) (github.com)
41 points by youio 8 days ago | 4 comments | hrcb No human rights theme