a Lean4 framework for the modeling and refinement of stateful systems

(Mirror) A Machine-to-Machine Interaction System for Lean 4

A docling plugin to integrate a remote hosted GLM-OCR OCR model into docling

simple web service in lean4

Kimina Lean server (+ client SDK)

Self-hosted document automation, automatic tagging and approval-gated companion for Paperless-ngx.

Never stop coding. Free MIT AI gateway: one endpoint, 359 providers (150+ free), 1200+ models Kimi, Claude, GPT, Gemini, GLM, DeepSeek, MiniMax. Works with Claude Code, Codex, Cursor, OpenCode, Cli…

45 MCP tools that give AI coding agents ground truth about your Rails app: schema, models, routes, controllers, views, jobs, conventions. Works with Claude Code, Cursor, GitHub Copilot, OpenCode an…

Accelerates agentic development in legacy codebases. Creates context and backlogs for agents via pretty good static analysis. Saves inference tokens.

Read-only forensics and analytics layer for Beads — fidelity scores, rework cost, and a self-contained HTML report for your agentic workflows.

OpenResearcher: A Fully Open Pipeline for Long-Horizon Deep Research Trajectory Synthesis

TurboQuant: Near-optimal KV cache quantization for LLM inference (3-bit keys, 2-bit values) with Triton kernels + vLLM integration

⛰️ LifeOS — The universal AI Harness designed to move you from Current to Ideal state in both life and work.

Structure refinement software for total scattering data

Dynamic context pruning plugin for OpenCode - intelligently manages conversation context to optimize token usage

NVIDIA Linux open GPU kernel module source (P2P for RTX 3090 enabled)

Agent2Agent (A2A) is an open protocol enabling communication and interoperability between opaque agentic applications.

Open-Source Frontier Voice AI

A modular graph-based Retrieval-Augmented Generation (RAG) system

Gas Town - multi-agent workspace manager

Orchestrate Claude, Codex and Grok in one app. Open-source (MIT), reuses the subscriptions you already pay for.

An AI-powered task-management system you can drop into Cursor, Lovable, Windsurf, Roo, and others.

Build Real-Time Knowledge Graphs for AI Agents

[MLsys2026 Best Paper]: https://arxiv.org/abs/2506.08276. RAG on Everything with LEANN. Enjoy 97% storage savings while running a fast, accurate, and 100% private RAG application on your personal d…

check code for common misspellings

A container to create mDNS CNAMEs for Traefik exposed container

[ACL2026] "MiniRAG: Making RAG Simpler with Small and Open-Sourced Language Models"

An open letter calling for a hard fork of Rails to remove DHH's influence

Ruby library for fast, flexible topic modeling — built on modern embeddings and clustering techniques to uncover themes in text.