aygp-dr/repomind

An intelligent repository analysis system that transforms static code repositories into queryable knowledge bases using Ollama LLM and formal specifications