mcp-logic
by angrysky56
Fully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows Claude App etc
📊 Score Breakdown
Overall = Security (30%) + Utility (30%) + Maintenance (25%) + Uniqueness (15%). Full methodology →
ℹ️ Details
📈 GitHub Signals
42
Stars
11
Forks
0
Commits (30d)
1
Open Issues
Last commit: 7 months ago
Similar Tools
View all AI & LLM Tools →lobehub
by lobehub
The ultimate space for work and life — to find, build, and collaborate with agent teammates that grow with you. We are taking agent harness to the next level —
litellm
by BerriAI
Python SDK, Proxy Server (AI Gateway) to call 100+ LLM APIs in OpenAI (or native) format, with cost tracking, guardrails, loadbalancing and logging. [Bedrock, A
ai
by vercel
The AI Toolkit for TypeScript. From the creators of Next.js, the AI SDK is a free open-source library for building AI-powered applications and agents
context7
by upstash
Context7 MCP Server -- Up-to-date code documentation for LLMs and AI code editors
🏅 Show your score
Scored 74/100 for security, utility and maintenance. Add the badge to your README or site to show it, verified by an independent directory.
[](https://skillsindex.dev/tools/mcp-logic/)<a href="https://skillsindex.dev/tools/mcp-logic/"><img src="https://skillsindex.dev/api/badge/mcp-logic" alt="mcp-logic scored 74/100 on SkillsIndex" height="20"></a>Know before you install 📬
We score every tool 0-100 for security, maintenance and utility. Get the weekly shortlist of the highest-scored, vetted tools, plus an alert when a package you rely on goes stale. Free.
Data last verified: 1 months ago. See something wrong? Report it →