F
licenseA
qualityC
maintenanceWraps AlphaGeometry2's DDAR engine to prove geometry theorems via symbolic reasoning. Enables users to input problems in AG2 format and receive proof status.
Last updated
3
51,230 servers. Last updated
Search Relevance ↓
Recent Usage ↓
Date Added ↓
Date Updated ↓
Weekly Downloads ↓
GitHub Stars ↓
Recent GitHub Stars ↓
"author:MikeyBeez" matching MCP servers:
- FlicenseBqualityDmaintenanceProvides an interface to Claude's contemplation loop, enabling continuous background cognitive processing that maintains thoughts, recognizes patterns, and develops insights between conversations.Last updated93
- FlicenseBqualityDmaintenanceProvides tools for making small, targeted edits to files using stream editors like sed and awk, enabling efficient modifications without full file replacement.Last updated101
- FlicenseBqualityDmaintenanceMCP server for Kaggle API integration that allows creating, running, and managing Kaggle notebooks programmatically.Last updated81
- FlicenseBqualityDmaintenanceA simple system that allows Claude to leave and manage notes for itself across sessions, functioning like an 'Alexa, remind me...' for AI assistants.Last updated72
- Alicense-qualityDmaintenanceMCP 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.Last updated2MIT
- Alicense-qualityDmaintenanceAn 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.Last updated192MIT
- Flicense-qualityDmaintenanceEnables system automation and control including command execution, process management, network tools, environment variables, disk usage, and service status.Last updated
- Flicense-quality-maintenanceProvides direct access to Ollama models for AI inference, including text generation, chat, model management, and embeddings.Last updated203
- Flicense-quality-maintenanceEnables solving FrontierMath problems and performing advanced mathematical computations such as representation theory, algebraic geometry, number theory, and finite field analysis through natural language.Last updated
- Flicense-qualityDmaintenanceTracks protocol adherence and maintains audit trails for Claude sessions, providing tools for logging steps, activities, and violations, and computing compliance scores.Last updated
- Flicense-quality-maintenanceA lightweight MCP server for intelligent, non-invasive analysis of Obsidian vaults.Last updated
- Flicense-quality-maintenanceA drop-in replacement for Claude's built-in web_search tool that automatically tracks usage and provides multiple search backends.Last updated
- Flicense-qualityDmaintenanceAn intelligent context management layer for the Brain Knowledge Management System, implementing semantic routing and human-in-the-loop workflows.Last updated1
- Flicense-qualityDmaintenanceA queue-based execution server that monitors a command queue and executes shell commands or Python scripts, moving completed or failed jobs to respective directories.Last updated
- Flicense-quality-maintenanceManages continuation notes for projects, enabling session handoff and historical browsing through a two-location storage system.Last updated1
- Flicense-qualityDmaintenanceProvides 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.Last updated4