Topic: "neuro-symbolic-static-analysis"
PurCL/RepoAudit
An autonomous LLM-agent for large-scale, repository-level code auditing
Language: Python - Size: 356 KB - Last synced at: 15 days ago - Pushed at: 15 days ago - Stars: 56 - Forks: 5
Related Topics