chaitanyya
- Karma
- 3
- Created
- 1 year ago
About
All things software correctness, reliability, formal methods, and mathematicsRecent Submissions
- 1. ▲ Claude Code Skill to write better Lean4 proofs (spec.workers.io)
- 2. ▲ Show HN: Security platform for vibe coded apps (twitter.com)
- 3. ▲ Replaced Clay.com with Claude Code Agent (github.com)
- 4. ▲ Show HN: Claude Code for Sales and GTM (github.com)
- 5. ▲ Claude Code as a Sales Guy (twitter.com)