Chiasmus is an MCP server that gives language models access to formal verification

Dynamically expose tools from proxied servers based on an Agent Persona

AI Agent Skills for idiomatic, production-ready Go code, distilled from Google, Uber, Community

Agent Skills for computational materials science -- numerical stability, solvers, meshing, convergence, and simulation workflows.

✨ AI Coding, Vim Style

Private web search for AI assistants via SearXNG — supports Claude, Cursor, and any MCP client

An MCP server for converting Markdown to interactive mind maps with export support (PNG/JPG/SVG).

An ML engineering plugin for your coding agents.

The AI security agent guards your code.

a philosophy for talking to AI agents without getting glazed. one trigger, four meanings. /meow.

⌥ Coding agent with the IDE wired in

Framework for AI agents to build and maintain a digital brain through Obsidian wiki

Portable AI agent orchestration with mechanical protocol enforcement. 186 agents, zero runtime dependencies.

Provider-neutral control plane for durable-state agent swarms: subprocess workers, leases, artifacts, memory, and deterministic stitching.

Open-source control plane for your AI agents. Connect tools, hire agents, track every token and dollar

An MCP Server for Ollama

See how you really use AI — X-ray your AI coding sessions locally

MCP server for external memory layer for AI agents + more . Download from pypi , and get started

A comprehensive and efficient MCP server for task management with multi-format support (Markdown, JSON, YAML)

Production-grade Agent Skills from Evil Martians — drop-in expertise for your AI coding agent

MaverickMCP - Personal Stock Analysis MCP Server

Model Context Protocol (MCP) Server for Graphlit Platform

Model Context Protocol (MCP) Server to connect your AI with any MediaWiki

Universal memory runtime for AI agents