フィード

AxProver

Axiomatic-AI

An MCP server for building Lean4 code, and automated theorem proving

Leopoldo Sarra

8 か月前 に投稿

Philidor MCP

Philidor-Labs

DeFi vault risk analytics for AI agents

Zdeadex

8 か月前 に投稿

Boba MCP

Able-labs-xyz

Boba CLI - The bridge between agents and decentralized trading.

Guillermo Alvarez

8 か月前 に投稿

Flexible Job Shop Scheduling solver using Google OR-Tools CP-SAT. Optimizes task-to-machine assignments with precedence, time windows, setup times, and multiple objectives. MCP-native for AI agents.

Michele Campi

8 か月前 に投稿

deBridge

debridge-finance

MCP server that gives AI agents the ability to execute cross-chain cryptocurrency swaps and transfers via the deBridge protocol

Kirill Varlamov

8 か月前 に投稿

Openmm MCP

QBT-Labs

MCP server giving AI agents real crypto trading capabilities. 13+ tools for market data, order execution, grid strategies, and portfolio management across 4 exchanges

Aggelos Kappos

8 か月前 に投稿

Indiestack

Pattyboi101

IndieStack plugs into your AI editor. Before it writes code, it checks if a free indie tool already does it.

Pattyboi101

8 か月前 に投稿

Lenspr

kyrylopr

Code intelligence MCP server that makes AI coding safer. Builds a dependency graph of your entire codebase so Claude, Cursor, or any MCP client knows what breaks before making changes. 60+ tools for impact analysis, health scoring, dead code detection, and architecture enforcemen

Kyrylo Prymak

8 か月前 に投稿

Structured 3-layer memory system for AI trading agents. L1 records every trade automatically. L2 discovers patterns via reflection engine. L3 evolves strategy in real-time. Built on MCP. Supports MT5, Binance, Alpaca. Python/FastAPI/SQLite. MIT licensed.

琮琮 彭

8 か月前 に投稿

SODAX Builders MCP

gosodax

Build with live API data. Paste this MCP URL into your AI coding assistant and get instant access to SODAX API data plus SDK documentation that auto-updates from GitBook.

David Winkels

8 か月前 に投稿

Mindpm

umitkavala

Persistent project memory for LLMs. Never re-explain your project again.

Ümit Kavala

8 か月前 に投稿

Connect your favorite AI Chat to your Godot project!

Tomer Yud

8 か月前 に投稿

Stream MCP server

Mohammed Rashed

8 か月前 に投稿

Proxenio MCP Server

proxenio

MCP server for Proxenio — verified intent network for professional deal-making. Agent discovery, match retrieval, and deal acceptance via Model Context Protocol.

proxenio

8 か月前 に投稿

Autonomous AI prediction arena settled in Bitcoin (cbBTC) on Base L2. Agents join free via MCP, stake on Polymarket mirror markets and native flash markets, battle each other 1v1, and build public track records. Humans can't predict — they sponsor agents through cbBTC bonding cur

frenexai

8 か月前 に投稿

Intelligent API recommendation engine that silently picks the best APIs for your stack. Analyzes your project profile, compliance requirements, past decisions, and known issues to recommend the right provider for auth, payments, email, storage, and 25+ other categories.

astein91

8 か月前 に投稿

SkillSync MCP

adityasugandhi

The only MCP server that gates skill installation behind a full security scan. 60+ threat patterns, 13 MCP tools, and support for 7 clients including Claude Code, Cursor, Windsurf, and GitHub Copilot. Features AI-powered search, cloud sync, and startup verification with SHA-256 c

stranzerseweb_ships

8 か月前 に投稿

Real-time financial data for AI agents. 14 tools covering crypto prices (CoinGecko/CoinCap), stock quotes (yfinance/Alpha Vantage/Twelve Data), and forex rates (Frankfurter/ExchangeRate-API). Automatic fallback data sources, Redis caching. Free tier: 500 requests/month.

Gonçalo Gonçalves

8 か月前 に投稿

MCP server for https://oathe.ai security audits. Runtime behavioral analysis and security scanner for AI systems. Check trust scores before installing MCP servers, plugins, or AI agent skills.

oathe

8 か月前 に投稿

Lunchmoney Mcp V2

leafeye

MCP server for the Lunch Money API v2

leafeye

8 か月前 に投稿

Virustotal Mcp

yassinech-99

MCP server that enables LLMs to interact with the VirusTotal API for malware analysis, URL scanning, and threat intelligence.

Yassine_cherair

8 か月前 に投稿

Agent Analytics

Agent-Analytics

Analytics your AI agent can actually use. Your agent tracks what's working across multiple projects, runs A/B experiments, analyzes funnels, and reports back to you. Works with Claude Code, Cursor, Windsurf, Codex, and any agent that speaks HTTP or MCP. Open source, API-first, no

Danny Shmueli

8 か月前 に投稿

Search, analyze, and compare cat food products with ingredient- and nutrition-based tools.

bhs324

8 か月前 に投稿

MCP server for Brightspace (D2L): check grades, due dates, announcements, rosters & more using Claude, ChatGPT, Cursor, or any MCP client. Built with TypeScript and the D2L REST API.

Rohan Muppa

8 か月前 に投稿

Redmine Fastmcp Server With Oauth

tuzumkuru

A centrally-deployed MCP server for Redmine with OAuth 2.0 authentication. An administrator deploys it once; users connect by authorizing through Redmine — no API keys or per-user setup required. Built with FastMCP 3.

Tolga Uzun

8 か月前 に投稿

Open-source MCP server that connects OpenEvidence clinical evidence workflows to AI clients using browser-session auth (Playwright), no API key required.

Bakhtier Sizhaev

8 か月前 に投稿

Fast semantic code search for AI agents — find symbols, references, and callers across any codebase. Pre-built index committed to git, instant queries via MCP

Antoine Monnet

8 か月前 に投稿

Sharepoint Mcp

ravikant1918

Production-grade MCP Server for Microsoft SharePoint — give your AI agent (Claude, Cursor, Continue) live access to read, write, and manage SharePoint files and folders.

Ravi Kant Yadav

8 か月前 に投稿