A collaboration with Proof · 1 public repo per week

Are you an open source maintainer? We can help your project.

Completely free for open source repositories.

Proof turns your repository into a graph of requirements that humans and agents can both use. It finds as many bugs as it can, and gives you the tools to triage GitHub issues and pull requests from contributors — including community bug reports and security reports.

deeplethe

deeplethe/utopia

World's first open-source enterprise world model.

5 good first / help-wanted issues · Rust · last activity Sep 2, 2026

agent-memory bitemporal graphrag knowledge-base knowledge-graph llm ontology pgvector postgresql rag rust self-hosted semantic-search temporal-knowledge-graph world-model
5 Open Issues Need Help Last updated: Sep 2, 2026

Open Issues Need Help

View All on GitHub

World's first open-source enterprise world model.

Rust
#agent-memory#bitemporal#graphrag#knowledge-base#knowledge-graph#llm#ontology#pgvector#postgresql#rag#rust#self-hosted#semantic-search#temporal-knowledge-graph#world-model

World's first open-source enterprise world model.

Rust
#agent-memory#bitemporal#graphrag#knowledge-base#knowledge-graph#llm#ontology#pgvector#postgresql#rag#rust#self-hosted#semantic-search#temporal-knowledge-graph#world-model

World's first open-source enterprise world model.

Rust
#agent-memory#bitemporal#graphrag#knowledge-base#knowledge-graph#llm#ontology#pgvector#postgresql#rag#rust#self-hosted#semantic-search#temporal-knowledge-graph#world-model

World's first open-source enterprise world model.

Rust
#agent-memory#bitemporal#graphrag#knowledge-base#knowledge-graph#llm#ontology#pgvector#postgresql#rag#rust#self-hosted#semantic-search#temporal-knowledge-graph#world-model

World's first open-source enterprise world model.

Rust
#agent-memory#bitemporal#graphrag#knowledge-base#knowledge-graph#llm#ontology#pgvector#postgresql#rag#rust#self-hosted#semantic-search#temporal-knowledge-graph#world-model