angrysky56 / mcp-logic
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
☆16Updated 2 months ago
Alternatives and similar repositories for mcp-logic:
Users that are interested in mcp-logic are comparing it to the libraries listed below
- Provides summarised output from various actions that could otherwise eat up tokens and cause crashes for AI agents☆24Updated 2 months ago
- This an Model Context Protocol (MCP) server that integrates Notion into your AI workflows. This server enables seamless access to Notion …☆13Updated last month
- MCP server for analyzing claims, validating sources, and detecting manipulation using multiple epistemological frameworks☆16Updated 2 months ago
- An intelligent MCP server that provides tools for collecting and documenting code from directories☆13Updated 3 months ago
- MCP GitHub Mapper is a MCP tool that will map any repository remotely and import the map directly into your code editor.☆11Updated 2 weeks ago
- ☆23Updated 3 months ago
- Connect your chat repl to wolfram alpha computational intelligence☆18Updated 2 months ago
- MCP server that creates its own tools as needed☆16Updated 3 months ago
- ☆35Updated last week
- A Model Context Protocol server for Google Workspace integration (Gmail and Calendar)☆14Updated 3 months ago
- ☆18Updated 3 months ago
- MCP tool to allow multiple chains of thought☆24Updated 2 months ago
- An MCP server for unconventional and boundary-breaking problem-solving through an advanced note-taking system.☆10Updated last month
- Simple demo showing how to use the Forge API by Nous Research☆11Updated 4 months ago
- ☆17Updated last month
- A Model Context Protocol (MCP) server that helps read GitHub repository structure and important files.☆73Updated 2 months ago
- multi agent team with coding and data analysis capability to structure real estate investment plans and help with decision making.☆11Updated 9 months ago
- A TypeScript-based MCP server that enables testing of REST APIs through Cline. This tool allows you to test and interact with any REST AP…☆24Updated 2 months ago
- High level tool use for LLMs☆34Updated 7 months ago
- The original BabyAGI, updated with LiteLLM and no vector database reliance (csv instead)☆21Updated 5 months ago
- uses all reasoning models in parallel and synthesizes an answer with o1. also has multi-chat where you can chat with any of them☆38Updated 2 months ago
- ☆25Updated 9 months ago
- Query OpenAI models directly from Claude using MCP protocol.☆49Updated 4 months ago
- A FastMCP server implementation for the Semantic Scholar API, providing comprehensive access to academic paper data, author information, …☆16Updated last week
- An all-new OS that orchestrates autonomous agents as workers to execute tasks.☆17Updated 4 months ago
- never forget anything again! combine AI and intelligent tooling for a local knowledge base to track catalogue, annotate, and plan for you…☆37Updated 10 months ago
- Flexible, efficient, and context-aware generation from large unstructured knowledge sources.☆15Updated 10 months ago
- ☆20Updated 5 months ago
- Outputs from the Deep Writer☆16Updated 6 months ago
- A Model Context Protocol (MCP) server that provides tools for fetching and analyzing Reddit content.☆38Updated 3 weeks ago