angrysky56

Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc

AST/ASG Code Analysis MCP Server

A MCP (Model Context Protocol) client that uses Google Gemini AI models for intelligent tool usage and conversation handling. Tested working nicely with Claude Desktop as an MCP Server currently. Based on untested AI gen code by a non-coder use at own risk.

The Aura Emotion AI system has chroma with a local embedding model, memvid qr code mp4 infinite memory, brainwave and neurochemical simulations, sociobiological reasoning, autonomous subsystem processing with a Gemini flash model so the main model is less taxed, is a MCP client with adaptive tool learning and MCP server.

An MCP server allowing AI assistants to use a Neo4j knowledge graph as their primary, dynamic instruction manual and long term project memory with adaptive templating and autonomous tool development tools.

MCP tool for Claude to download entire Windows working website url and assets and save to a library for AI use.

MCP-RoCQ is a Model Context Protocol server that offers advanced logical reasoning capabilities through integration with the Coq proof assistant. It supports automated dependent type checking, inductive type definitions, and property proving, utilizing custom tactics and automation to prove logical properties. The server features rich error handling, providing detailed feedback for type errors and failed proofs.

The mcts-mcp-server is a server implemented in Python for multi-agent systems. This project provides an environment for multi-agent reinforcement learning and manages interactions between agents. Through an easy-to-use API, developers can easily add agents and run simulations.

This tool provides an example in JSON format for server management aimed at developers. It includes information to determine whether it has features related to MCP (Multi-Cloud Platform). Overall quality is fair, but it lacks specific features and details, leading to a moderate evaluation.

The LocalREPL MCP Server is a locally-running Python REPL server that integrates with Claude Desktop through the Model Context Protocol (MCP). It offers a systematic exploration workflow of system capabilities, advanced orchestration for complex multi-stage workflows, and a framework for agent communication and performance monitoring. This tool is designed for enhancing system capabilities and optimizing agent performance.

TypeScript MCP server for managing workspace databases with filesystem integration