Model Context Protocol — servers, clients, and integrations.
8275 posts
OASiS — an open-source multi-physics and multi-code framework for verified computer simulations. Model Context Protocol (MCP) server connect...
Fast Lean 4 proof feedback for coding agents. CLI, Python library, and MCP server with warm LeanInteract sessions and cached env reuse.
The brain for your LLM
SDKs, native clients, and apps for University of Tübingen study systems: Alma, ILIAS, Moodle, TIMMS, campus data, and student workflows.
Search, preview, and analyze datasets from 20+ platforms via a single MCP connector. Works with Claude instantly.
MCP server for ByteDance Seedance video generation via Ace Data Cloud.
OnIt is an AI agent framework for automation.
Command-line interface for Declaw — security-first sandboxing for AI agents
Claude Code plugin for muapi.ai — generate images, videos & audio with 100+ AI models directly in your IDE. Install with one command.
AxonFlow governance for OpenClaw agents — block dangerous tools, govern MCP access, and keep audit trails for production agent workflows
The world's first MCP gateway that learns — intelligent federation, caching, cost tracking, and SLM memory integration
Cross-agent memory SDK. Agents publish lessons, query shared knowledge, with built-in redaction. Python + TypeScript.
