An MCP (Model Context Protocol) server that allows running Claude Code in one-shot mode with permissions bypassed automatically. Did you notice that Cursor sometimes struggles with complex, multi-step ...

This is an implementation of a completion engine that parses type safe programs incrementally, guaranteeing that intermediate outputs can be completed to type-safe programs. The completion enginge can ...

Abstract: Code embedding represents code semantics in vector form. Although code embedding-based systems have been successfully applied to various source code analysis tasks, further research is ...

Abstract: The emergence of pre-trained model-based vulnerability detection methods has significantly advanced the field of automated vulnerability detection. However, these methods still face several ...

Tell us a little bit about yourself and your career journey, to date. Throughout my time at GoDaddy, I've held a variety of positions. As the company has grown, my roles have grown with it. I started ...