Popular GitHub Repositories for Verifiable

MCPMark is a comprehensive, stress-testing benchmark and a collection of diverse, verifiable tasks designed to evaluate model capabilities in real-world MCP use.

? A synthetic dataset generation framework that produces diverse coding questions and verifiable solutions - all in one framwork

The official repo of SynLogic: Synthesizing Verifiable Reasoning Data at Scale for Learning Logical Reasoning and Beyond

VeritasGraph: Enterprise-Grade Graph RAG for Secure, On-Premise AI with Verifiable Attribution

Game-RL: Synthesizing Multimodal Verifiable Game Data to Boost VLMs' General Reasoning

This AI fact-checking system, built with LangGraph, dissects text into verifiable claims, cross-referencing them with real-world evidence via web searches. It then generates detailed accuracy reports, ideal for combating misinformation in LLM outputs, news, or any text.

AGNTCY Identity Service serves as the central hub for managing and verifying digital identities for your Agentic Services.

This AI fact-checking system, built with LangGraph, dissects text into verifiable claims, cross-referencing them with real-world evidence via web searches. It then generates detailed accuracy reports, ideal for combating misinformation in LLM outputs, news, or any text.

?enhanced GRPO with more verifiable rewards and real-time evaluators

This AI fact-checking system, built with LangGraph, dissects text into verifiable claims, cross-referencing them with real-world evidence via web searches. It then generates detailed accuracy reports, ideal for combating misinformation in LLM outputs, news, or any text.

Cerno is a local-first research platform that leverages agentic AI to break down complex queries into verifiable, multi-step workflows. Switch seamlessly between cloud LLMs and self-hosted models, track every reasoning step, and optimize cost and tokens—all while keeping your data on your machine.

Easy to use Verifiable AI and smart contracts interoperability.

A symbolic benchmark for verifiable chain-of-thought financial reasoning. Includes executable templates, 54 topics across 12 domains, and ChainEval metrics.

An early stage research protocol to eliminate Solana's $34M+ annual decentralization tax through verifiable computation, powered by the Validator Lock economic engine. Developed and designed by ghostarchitects via zKSL Labs (zkSealevel Research Team)

Fast, fearless, and fully verifiable ONNX runtime in Rust ?⚡?

Implementation of Group Relative Policy Optimization (GRPO) and Evolutionary Strategy (ES) to fine-tune Open Language Models (like LlaMa-3.2, Qwen2.5) for Tasks with verifiable rewards.

The Canada Labour Research Assistant (CLaRA) is a privacy-first LLM-powered research assistant proposing Easily Verifiable Direct Quotations (EVDQ) to mitigate hallucinations in answering questions about Canadian labour laws, standards, and regulations. It works entirely offline and locally, guaranteeing the confidentiality of your conversations.

Context & Guide For Reinforcement Learning with Verifiable Rewards with Large Language Models

Look As You Think: Unifying Reasoning and Visual Evidence Attribution for Verifiable Document RAG via Reinforcement Learning (Poster of AAAI'26)

Verifiable vector similarity queries PoC with Halo2.