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は、Coq証明助手と統合された高度な論理推論機能を提供するモデルコンテキストプロトコルサーバーです。自動依存型チェック、帰納型定義、プロパティ証明をサポートし、カスタム戦術や自動化を利用して論理的性質を証明します。エラーハンドリングも充実しており、型エラーや証明失敗に対する詳細なフィードバックを提供します。

mcts-mcp-serverは、Pythonで実装されたマルチエージェントシステムのためのサーバーです。このプロジェクトは、マルチエージェント強化学習のための環境を提供し、エージェント間の相互作用を管理します。使いやすいAPIを通じて、開発者は簡単にエージェントを追加し、シミュレーションを実行することができます。

このツールは、開発者向けのサーバー管理を支援するJSON形式の例を提供します。特に、MCP（Multi-Cloud Platform）に関連する機能を持っているかどうかを判断するための情報が含まれています。全体的な品質は良好ですが、特定の機能や詳細が不足しているため、評価は中程度です。

LocalREPL MCPサーバーは、Claude Desktopと統合されたローカルで動作するPython REPLサーバーです。システムの機能を段階的に探求するワークフローや、複雑なマルチステージのワークフローを管理するための高度なオーケストレーション機能を提供します。また、エージェント間のコミュニケーションやパフォーマンスの監視を行うためのフレームワークも備えています。

TypeScript MCP server for managing workspace databases with filesystem integration