Alok Singh
@alok
If you’re a smooth operator, you can infinitely differentiate yourself.
2
Published Tools
1
Total Stars
0
Weekly Downloads
212
GitHub Followers
432
Public Repos
100/100
Avg Security
Published Tools
2 Skillsacross 1 categoryalok
A
Agent skill for vericoding: code plus a machine-checked proof against a frozen spec (Lean 4 first), with a gate that rejects cheating proofs.
...moreSkilluncategorised
11 dir
A.Lok, Shin
A
Korean Stock OpenAPI Package(EBest, KIS) creation written by alshin
Skilluncategorised