jindolkim
@jindolkim
7
Published Tools
0
Total Stars
0
Weekly Downloads
100/100
Avg Security
Published Tools
7 Skillsacross 1 categoryproof-language-ai
jindolkim
Proof Language - AI-Verified Programming Language with Mathematical Verification, Z3 SMT Solver, Blue-Green Deployment, and Auto-Remediation
...more@freelang/v3
jindolkim
FreeLang v3: AI-Exclusive Language - Complete Self-Learning Engine (244/244 tests ✅)
freelang-cli
jindolkim
FreeLang v4 - AI-First Programming Language (334/334 tests passing)
v2-freelang-ai
jindolkim
FreeLang v2.1.0: AI-First Programming Language - Self-Correcting + Intent-Driven + Production Ready
kim-auth
jindolkim
Production-ready Authentication & Authorization (JWT, API Key, OAuth2)
freelang-curl
jindolkim
Lightweight HTTP client utility written in FreeLang (curl alternative)
@freelang/security
jindolkim
FreeLang Native Security - CORS, CSP, Rate-limiting middleware (zero npm dependencies)