— · MIT License
Exposes a governed dbt MetricFlow semantic layer to AI agents through three tools — list metrics, list dimensions and query metrics — so questions about federal contract spend are answered from defined metrics rather than raw tables. Guardrails reject undefined metrics, raw columns, SQL in filters and bulk exports, and no tool can execute SQL.
— · BSD 3-Clause
Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.
— · MIT License
Provides OAuth-secured MCP tools for working with private, Git-backed Markdown knowledge bases: searching pages, reading content, ingesting new source documents, retrieving cited original files, and reviewing history or rolling back accepted pages. Every tool call is checked against each person's or agent's current wiki grant and returns source paths and Git revisions for traceability.
— · GPL 3.0
Enables AI agents to read the local, already-logged-in WeChat account's chat history: fetch recent messages per contact for reply suggestions, bulk-export all conversations into a local SQLite index for full-text and semantic search, and export media or Moments timelines as offline HTML. Everything runs locally and read-only on macOS, exposing 15 MCP tools plus a matching CLI.
— · MIT License
Enables coding agents to run diff-scoped mutation testing on Python code, returning mutation scores and surviving mutants with actionable hints so they can improve tests.
— · MIT License
Enables coding agents to index repositories, retrieve task-relevant code within a token budget, and record facts that are flagged stale when their anchored code changes.
— · Apache 2.0
Enables any MCP-compatible client to persist long-term memories for AI agents, with LLM-based fact extraction, semantic vector search, update/delete/list operations, and queue status checks across sessions.
— · MIT License
Gives AI agents a durable, locally hosted temporal memory built from a markdown vault you own, exposing hybrid semantic/lexical/entity search over events, threads, transcripts, entity relationships with validity dates, and patterns with confidence decay. Writes are approval-gated, so agents can draft, commit, and sync new memories while keeping every index rebuildable and nothing leaving your machine.
— · MIT License
Enables users to audit personal reading streams by quantifying category diversity with Shannon entropy, detecting lexical redundancy and echo chambers via Jaccard similarity, and ranking content sources by decibel signal-to-noise ratio for pruning recommendations.
— · MIT License
Enables agents to use ACT-R spreading activation memory, semantic association graphs, and automated memory consolidation via the Model Context Protocol.
— · MIT License
A read-only MCP server that lets AI assistants search and browse the Coolapk community — posts, comments, topics, user profiles, home feeds, and images — with built-in login reuse, rate limiting, and risk-control fallbacks. All access is strictly read-only, so agents can look up community information without any write operations.
— · MIT License
Enables an AI agent to list the 1 € Crous & Go student menus, ask which variant you want, and place and pay for the order through your own Izly account, with dry runs, a kill switch, a 1 € price cap, and explicit confirmation before any real purchase.
— · MIT License
This server provides a standardized interface for interacting with the NovelAI image generation API, enabling agents to build and execute complex image creation workflows. It supports various generation types, from text-to-image and inpainting to parameter configuration, while providing Anlas cost estimation and semantic tag search.
— · Apache 2.0
Exposes three read-only tools that list local Agent and MCP runtime candidates, inspect running processes, and check a live runtime against an approved artifact expectation. Returns explicit verdicts such as matched, stale, leaked, conflict, unknown, or not running without exposing argv, environment values, or file contents.