2 stories
spec.workers.io visit →
Stories 2 (0 evaluated) Avg HRCB ND
Avg SETL ND Avg Conf ND
Poster Karma 2 avg Submitters 2
1. Built a skill that benchmarks any skill (spec.workers.io)
2 points by skshadan 5 days ago | 1 comments | skipped
2. Claude Code Skill to write better Lean4 proofs (spec.workers.io)
2 points by chaitanyya 10 days ago | 1 comments | skipped