Behavior contracts for AI agents
MCP
Model Context Protocol — servers, clients, and integrations.
8277 posts
Airtight math tools an AI uses over MCP — 3.7M-theorem search, PSLQ constant ID, OEIS, real Lean kernel checks, applicability checklists. No...
MacVis — open-source local-first AI agent for macOS. Multi-provider (Claude, GPT, Gemini, Ollama). Full Mac access via MCP. BYOK, no backend...
InspireHEP MCP Server
Discover and audit MCP servers for security vulnerabilities across Claude Code, Cursor, VS Code, and more
MCP server + x402 Discovery Hub. Search engine for the agent economy. 1450+ services indexed.
Server-side receipt validation for react-native-iap. Apple StoreKit 2 + Google Play Billing. One line: app.use(createOneSubMiddleware(config...
Evidence-backed reference for AI capabilities, pricing tiers, availability, and platform support across ChatGPT, Claude, Gemini, Copilot, an...
Deploy full-stack apps directly from any AI assistant. 75+ MCP tools for projects, deployments, databases, environments, security & more.
An MCP server generator for Ansible. Reflects every installed module from ansible-doc into typed, LLM-callable MCP tools.
Self-hosted MCP server that makes your Obsidian/markdown vault searchable — text, PDFs, Office docs, images, audio — from any MCP client. Hy...
Evidence-readiness and trust-routing runtime for high-stakes AI-assisted decisions. Turns source packs, RFPs, vendor docs, and risk files in...