Lean math proofs generated by AlphaProof Nexus and accompanying natural language prose proofs.

An open-source, AI-integrated, cross-platform terminal for seamless workflows

This repository contains the code to train and evaluate TRIBE v2, a multimodal model for brain response prediction

Generate anything from your terminal

Open-source AI agent firewall for MCP security and agent egress. Scans mediated HTTP, MCP, A2A, and WebSocket traffic for exfiltration, SSRF, and prompt injection, and emits mediator-signed action …

SIMD-accelerated distances, dot products, matrix ops, geospatial & geometric kernels for 16 numeric types — from 6-bit floats to 64-bit complex — across x86, Arm, RISC-V, and WASM, with bindings fo…

See where your AI tokens go. Interactive TUI dashboard for Claude Code, Codex, and Cursor cost observability. npx codeburn

An open, schema-driven language for configuring agent orchestration systems

Attempt to convert 1943 Irish language sci-fi book Manannán to modern orthography

Fast and accurate AI powered file content types detection

Static analysis for GitHub Actions

EdegQuake 🌋 High-performance GraphRAG inspired from LightRag written in Rust; Transform documents into intelligent knowledge graphs for superior retrieval and generation

Write & maintain executable scripts in natural language

Platform Evolution Engine. Distill the best from the combinatorial mess.

Terminal-based Signal messenger client with vim keybindings

AI Agent Governance Toolkit — Policy enforcement, zero-trust identity, execution sandboxing, and reliability engineering for autonomous AI agents. Covers 10/10 OWASP Agentic Top 10.

AI Vibe Coding Agent of TS backend server, enhanced by compiler skills, generating 100% working code

Autoresearch for GPU kernels. Give it any PyTorch model, go to sleep, wake up to optimized Triton kernels.

Sub-millisecond VM sandboxes for AI agents via copy-on-write forking

8x Faster JavaScript 3D Library.

A blazing fast AI Gateway with integrated guardrails. Route to 1,600+ LLMs, 50+ AI Guardrails with 1 fast & friendly API.

Restate is the platform for building resilient applications that tolerate all infrastructure faults w/o the need for a PhD.

GitHub-style diff viewer for reviewing code changes. Works with Claude Code, Cursor and other AI tools.

OpenShell is the safe, private runtime for autonomous AI agents.

Open Source Speech Language Model

Official agent plugin providing skills and MCP server configurations for Azure scenarios.

TypeDB: Built for systems, not records

Machine learning powered Karaoke app (with scores!)