korovin/iprover

iProver -- a theorem prover for first-order logic with support for arithmetical reasoning.

GitLab repository with 7 stars and 7 forks.

Language: OCaml

Topics: AI, DQBF, Model Checking, QBF, SMT, TPTP, aig, logic, reasoning, theorem proving

Open provider repository

Latest metric snapshot

2026-06-15: 7 stars and 7 forks.

Trending topic: AI

  1. 1. redhat/edge/ci-cd/ai-code-review

    AI-powered code review tool for **local changes**, **GitLab** and **GitHub**. Analyzes local changes or pull/merge requests and provides intelligent feedback to improve code quality.

    GitLab repository with 18 stars and 12 forks.

    Trending score: 0.31; stars gained: +0; forks gained: +0.

    Topics: AI, code-review, python

  2. 2. fforster/gitlab-mcp

    A Model Context Protocol (MCP) server for GitLab

    GitLab repository with 87 stars and 34 forks.

    Trending score: 0.24; stars gained: +0; forks gained: +0.

    Language: Go

    Topics: AI, mcp, model-context-protocol

  3. 3. cryptomilk/ai-playground

    A command-line tool to run AI coding agents like [OpenCode](https://github.com/opencode-ai/opencode) in a secure [systemd-nspawn](https://www.freedesktop.org/software/systemd/man/latest/systemd-nspawn.html) container.

    GitLab repository with 8 stars and 1 forks.

    Trending score: 0.14; stars gained: +0; forks gained: +0.

    Topics: AI, container, devbox, sanbox

  4. 4. gitlab-org/rust/knowledge-graph

    The [GitLab Knowledge Graph](https://gitlab-org.gitlab.io/rust/knowledge-graph/) project aims to create a structured, queryable graph database from code repositories to power AI features and enhance developer productivity. - [Documentation](https://gitlab-org.gitlab.io/rust/knowledge-graph/) - [Roadmap](https://gitlab.com/groups/gitlab-org/-/epics/17514)

    GitLab repository with 69 stars and 26 forks.

    Trending score: 0.09; stars gained: +0; forks gained: +0.

    Language: Rust

    Topics: AI, Knowledge Graph, gitlab, knowledge-graph, rust