"author:MikeyBeez" matching MCP servers:

MCP server providing true randomness capabilities to Claude, enabling cryptographically secure random number generation for games, decision-making, sampling, simulations, and any operation requiring genuine randomness.

MCP server for interfacing with the official Model Context Protocol registry. Enables Claude and other MCP clients to dynamically discover, browse, search, and manage MCP servers directly from GitHub.

Provides an interface to Claude's contemplation loop, enabling continuous background cognitive processing that maintains thoughts, recognizes patterns, and develops insights between conversations.

A simple system that allows Claude to leave and manage notes for itself across sessions, functioning like an 'Alexa, remind me...' for AI assistants.

Enables system automation and control including command execution, process management, network tools, environment variables, disk usage, and service status.

Provides tools for making small, targeted edits to files using stream editors like sed and awk, enabling efficient modifications without full file replacement.

MCP server for Kaggle API integration that allows creating, running, and managing Kaggle notebooks programmatically.

Enables solving FrontierMath problems and performing advanced mathematical computations such as representation theory, algebraic geometry, number theory, and finite field analysis through natural language.

MCP server for vision capabilities, enabling screenshot, camera, and image analysis using Ollama vision models.

Tracks protocol adherence and maintains audit trails for Claude sessions, providing tools for logging steps, activities, and violations, and computing compliance scores.

A lightweight MCP server for intelligent, non-invasive analysis of Obsidian vaults.

Manages continuation notes for projects, enabling session handoff and historical browsing through a two-location storage system.

Provides computational tools for systematic reasoning, including boolean evaluation, date arithmetic, object counting, state tracking, and format validation, to enhance agent capabilities and eliminate calculation errors in reasoning tasks.

Enables delegating checkable subtasks such as summarization, search-and-summarize, and file downloads to a local OpenAI-compatible model, with mandatory result verification and job statistics.

Wraps AlphaGeometry2's DDAR engine to prove geometry theorems via symbolic reasoning. Enables users to input problems in AG2 format and receive proof status.

An MCP server that provides Git version control operations for Claude, enabling comprehensive repository management. It allows users to perform tasks such as staging files, committing changes, managing branches, and handling remote operations like pushing and pulling.

A natural language interface for the Brain knowledge management system, enabling conversational interactions, intelligent workflows, and tool suggestions.

Provides direct access to Ollama models for AI inference, including text generation, chat, model management, and embeddings.

A drop-in replacement for Claude's built-in web_search tool that automatically tracks usage and provides multiple search backends.

Provides exact arithmetic and verification tools using SymPy and fractions to solve math competition problems precisely. It enables users to perform rigorous calculations and export notebook-ready Python code for further analysis.