"nf-core" matching MCP servers:

Enables AI agents to hand high-level objectives to a decision-making core that autonomously reasons, plans, enforces deterministic policy, executes capabilities, evaluates outcomes, and persists semantic memory over stdio or Streamable HTTP.

Deterministic AI safety policy engine with Z3 formal verification. Write, verify, simulate, and enforce machine-verifiable safety constraints for AI agents. Completely outside the LLM.

Enables local bounded decision-making through MCP using a resident Core ML model, with tools for single decisions, batched decisions, and conservative context filtering.

Prevents context bloat and the 'Lost in the Middle' phenomenon by distilling action histories into concise summaries while maintaining a clear core objective.

Enables AI agents to act on live business objects under enforceable per-call identity, per-tool grants, and mandatory human approval for irreversible actions, with connectors isolated from core logic.

Production-grade, autonomous Model Context Protocol (MCP) server that elevates AI models from stateless code generators into persistent, self-verifying software engineers.

Pairs Claude Code with Google's Gemini AI for complementary code analysis, enabling intelligent routing where Claude handles local-context operations while Gemini leverages its 1M token context for distributed system debugging and long-trace analysis.

Enables assistants to save commitments with context and next actions, recall them in later sessions, and resume them as next-step cards over MCP.

The guarddog that watches your AI and stops before it goes rogue. It combines a deterministic core and dynamic AI layer to get the best both worlds of reliability and personalizaiton.

Deterministic decision engine with DAG-based receipts. Build entity graphs, query with MCP, get auditable proof.

A self-hostable, multi-MCP personal-assistant framework with multi-provider LLM orchestration, a real safety model, and a production-grade test suite. Nexus Core is the engine behind a Telegram-based personal assistant: it takes a message (text or voice), routes it through an LLM, lets the model call tools exposed by a fleet of Model Context Protocol servers, gates anything destructive behind exp

OpenKai is an open-source MCP server that gives AI agents persistent memory across conversations, supporting core, long-term, short-term, episodic, and working memory types with goals, emotional intelligence, and temporal queries.

Enables autonomous software engineering workflows by routing intent to specialized modes, managing Fable5 task ledgers and backend contracts, auditing React/TypeScript stacks, generating architectural SVG diagrams, and enforcing write-guard path policies.

Enables AI agents with persistent, multi-layer memory, multi-agent collaboration rooms, and video generation, all accessible via MCP tools.

Takes a plain-language automation goal and returns a recommended tool stack, command, validation checks, recovery guidance, and a machine-readable package contract for agents and builders.

Enables LLMs to autonomously reverse engineer applications by exposing Ghidra's core functionality through MCP tools. Supports decompiling binaries, analyzing code structure, and automatically renaming methods and data.

Foundational MCP/A2A-native core platform for secure credential injection, native x402 micropayments, and Agent-to-Agent routing.

Enables AI agents to get read-only trust verdicts on knowledge records by evaluating evidence maturity, provenance, intended use, risk level, and scope before deciding whether knowledge may be used.

A 68-tool MCP server providing persistent memory, error tracking, decision logging, task orchestration, and multi-modal AI generation for coding agents like OpenCode and Claude Code.

ghidraMCP is an MCP server that allows LLMs to autonomously reverse engineer applications by exposing core Ghidra functionality as tools for MCP clients.