aygp-dr

aygp-dr/repomind

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

1 good first / help-wanted issue · Scheme · last activity Jul 26, 2025

contracts experimental formal-specifications github-api guile-scheme llm ollama repository-analysis scheme spec-driven type-safety
1 Open Issue Need Help Last updated: Jul 26, 2025

Open Issues Need Help

View All on GitHub

AI Summary: Resume the experiment-driven development of RepoMind, a repository analysis system, by continuing from the completed Phase 3 (database experiments) to the next phase (observability experiments, 036-040). This involves running pre-defined experiments using `gmake` and documenting progress. The project uses Guile Scheme, Ollama, and a variety of other tools.

Complexity: 3/5
enhancement good first issue experiments
aygp-dr/repomind
0

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

Scheme
#contracts#experimental#formal-specifications#github-api#guile-scheme#llm#ollama#repository-analysis#scheme#spec-driven#type-safety