Sandbox
7 repos for fun · Codex · ResearchClear
huggingface/
funes

Durable, searchable memory of your past agent sessions.

361

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc

46
Klavis-AI/
klavis

Klavis AI: MCP integration platforms that let AI agents use tools reliably at any scale

5.8k
MicrosoftDocs/
Agent-Skills

Curated Agent Skills for Microsoft & Azure – giving AI coding assistants structured, real-time expertise from Microsoft Learn docs.

740
RollingGo-AI/
RollingGo-Hotel-MCP-Global

Official RollingGo Hotel Booking MCP Server. 2M+ hotels at wholesale rates, 40+ LLM compatible. Free unlimited calls for businesses & individual devs. Filter by location, date, star grade, guests & tags; pull real-time room types, pricing & cancellation rules.

84
DIDA-AI/
Dida-Hotel-MCP-Global

Official DIDA Hotel Booking MCP Server. 14-year travel tech data stack, 2M+ hotels at wholesale rates, 40+ LLM compatible. Free unlimited calls for businesses & individual devs. Filter by location, date, star grade, guests & tags; pull real-time room types, pricing & cancellation rules.

81