ai-assisted-coding
codet is a command-line tool for analyzing the code commit trail to understand how this feature work, leverage tools like cursor/windsurf/trae/LLMs-tool to provide a foundation for project or feature fast warm-up
Safely keep managed README facts current for AI-assisted projects.
Formal-verification sidecar for typed mathematical Python. For LLM and human research coding workflows.
