Claude Code. Any Model. The most powerful AI coding agent now speaks every language.

A lightweight alternative to OpenClaw that runs in containers for security. Connects to WhatsApp, Telegram, Slack, Discord, Gmail and other messaging apps,, has memory, scheduled jobs, and runs dir…

Zoo Code gives you a whole dev team of AI agents in your code editor.

The agent that grows with you

Qdrant - High-performance, massive-scale Vector Database and Vector Search Engine for the next generation of AI. Also available in the cloud https://cloud.qdrant.io/

A high-throughput and memory-efficient inference and serving engine for LLMs

User-friendly AI Interface (Supports Ollama, OpenAI API, ...)

Projets 2026 — IA Generative et Chatbots (MSMIN5IN52, EPF)

Formalization in Lean4 of axiomatic voting theory results

Roo Code (prev. Roo Cline) gives you a whole dev team of AI agents in your code editor.

[ICML2026] The first, fully verified, sorry-free, large-scale Lean 4 library for statistical learning theory, covering infrastructures for mordern statistics and learning theory.

A Lean 4 Jupyter kernel via repl

Docker Official Image packaging for Postgres

Model Context Protocol server for secure command-line interactions on Windows systems

A Go implementation of the Model Context Protocol (MCP), enabling seamless integration between LLM applications and external data sources and tools.

A bridge between Streamable HTTP and stdio MCP transports

A MCP (Model Context Protocol) server for PowerPoint manipulation using python-pptx. This server provides tools for creating, editing, and manipulating PowerPoint presentations through the MCP prot…

Model Context Protocol Servers

A Gradio web UI for Large Language Models. Supports transformers, GPTQ, llama.cpp (GGUF), Llama models.

Shared workspace for ESGF_School Quant Connect organization

Integrate cutting-edge LLM technology quickly and easily into your apps