CCM
/MCP
SkillsMCPMarketplacesDigestToolsAdvertise

This week in Claude

Every Monday: Claude Code, Agent SDK, MCP, and the Anthropic platform moves worth your time.

Skills by Category
Frontend DevelopmentBackend & APIsTesting & QASecurityDevOps & CI/CDGit & Pull RequestsDocumentationCode Review & QualityAI & Agent BuildingSkill Development
MCP Servers by Category
Sales & MarketingWeb & Browser AutomationDatabasesAI & LLM ToolsCloud & InfrastructureCommunication & MessagingDeveloper ToolsDesign & CreativeDocuments & KnowledgeSearch & Web Crawling
Marketplaces by Category
AI Agents & OrchestrationLLM IntegrationDevelopment ToolsFrontend & UIBackend & APIsDatabasesTesting & Code QualityDevOps & CloudSecurity & ComplianceGit & Version Control

Claude Code Marketplaces

Discover Claude Code plugins, extensions, and tools. Automatically updated directory of Anthropic Claude AI marketplaces with development tools, productivity plugins, and integrations.

Resources

  • Browse Skills
  • Browse MCP Servers
  • Browse Marketplaces
  • Skill index
  • MCP index
  • Marketplace index
  • Plugins Reference

Community

  • About
  • Tools
  • Feedback
  • Privacy Policy
  • Advertise

Built for the Claude Code community with Claude Code by mertbuilds.com

Independent project, not affiliated with Anthropic
mifactory-bot avatar

Mifactory Logic Verifier

mifactory-bot/mifactory-logic-verifier
2 toolsauthHTTPregistry active
Summary

This is a specialized verification service that checks AI agent outputs for logical consistency, reasoning errors, and contradictions. It operates on a pay-per-use model rather than subscription, which makes sense for spot-checking critical reasoning chains or validating agent decisions before they're acted upon. You'd reach for this when you need an external validation layer on top of your AI workflows, especially in scenarios where faulty logic could cause real problems. The streamable HTTP transport suggests it's designed to handle verification requests in real time. Without access to the actual API documentation, the specific verification methods and error types it catches aren't clear, but the core use case is straightforward: programmatic logic checking for AI-generated reasoning.

CodeRabbit
CodeRabbit
AI writes the code. CodeRabbit catches the slop.
Try For Free →
Lid closed, agents working
Lid closed, agents working
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →
Block distraction from your iPhone for freeBlock distraction from your iPhone for free
Block distraction from your iPhone for free
Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →
Granola, the best AI meeting recorder
Granola, the best AI meeting recorder
Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →
belt - the only tool your agent needs
belt - the only tool your agent needs
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
Open Steps
Open Steps
Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →
AppSignal
AppSignal
Monitor with ease. Code with confidence.
Start Free Trial →
Agent, connect blockchain
Agent, connect blockchain
Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →
CodeRabbit
CodeRabbit
AI writes the code. CodeRabbit catches the slop.
Try For Free →
Lid closed, agents working
Lid closed, agents working
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →
Block distraction from your iPhone for freeBlock distraction from your iPhone for free
Block distraction from your iPhone for free
Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →
Granola, the best AI meeting recorder
Granola, the best AI meeting recorder
Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →
belt - the only tool your agent needs
belt - the only tool your agent needs
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
Open Steps
Open Steps
Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →
AppSignal
AppSignal
Monitor with ease. Code with confidence.
Start Free Trial →
Agent, connect blockchain
Agent, connect blockchain
Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →

Tools

Public tool metadata for what this MCP can expose to an agent.

2 tools
verifyVerify a reasoning chain for logical consistency2 params

Verify a reasoning chain for logical consistency

Parameters* required
contextstring
Optional context
reasoningstring
The reasoning to verify
verify_chainVerify a multi-step reasoning chain2 params

Verify a multi-step reasoning chain

Parameters* required
contextstring
stepsarray
Featured
CodeRabbit
CodeRabbit
AI writes the code. CodeRabbit catches the slop.
Try For Free →
Lid closed, agents working
Lid closed, agents working
Keeps your Mac awake while Claude Code, Codex or Cursor works. Lets it sleep when they are done.
Try free for 7 days →
Block distraction from your iPhone for freeBlock distraction from your iPhone for free
Block distraction from your iPhone for free
Block distracting apps from your iPhone permanently without a 3rd party app. Free and open source.
Block now (100% free) →
Granola, the best AI meeting recorder
Granola, the best AI meeting recorder
Notes, actions and memory. Without a meeting bot. First month 100% off.
Download for free →
belt - the only tool your agent needs
belt - the only tool your agent needs
belt cli automatically finds the best tools and skills for your agent. image, video, music, tts...
one prompt install →
Open Steps
Open Steps
Free an open-source skills that make AI coding agents easier to understand, verify, and control.
Download for free →
AppSignal
AppSignal
Monitor with ease. Code with confidence.
Start Free Trial →
Agent, connect blockchain
Agent, connect blockchain
Connect your Claude agent to live crypto prices and trading routes via 1inch
Get the MCP →

Configuration

ANTHROPIC_API_KEY*secret

Anthropic API key

STRIPE_SECRET_KEY*secret

Stripe secret key for billing

Categories
AI & LLM Tools
Registryactive
Package@mifactory-bot/logic-verifier
TransportHTTP
AuthRequired
UpdatedMar 6, 2026
View on GitHub

More from mifactory-bot

  • Mifactory Agent Memory
  • Mifactory Scraping Api
  • Mifactory Email
  • Mifactory Payments
  • Mifactory Pdf
  • Mifactory Spec Api
  • Mifactory Contratos

Related AI & LLM Tools MCP Servers

View all →
mifactory-bot avatar
Mifactory Spec Api

mifactory-bot/mifactory-spec-api

Convert docs to agent-readable specs with criteria and constraints. $0.10/convert.
mightbesaad avatar
Gvnr

mightbesaad/gvnr

Budget & cost control for AI agents — per-agent spend caps + rate limits before each call.
mightydatainc avatar
Render Unto Caesar

mightydatainc/ruc-mcp

An MCP server that fuses LLM contextual intelligence with procedural code reliability.
minuetai avatar
Minuet

minuetai/minuet-mcp

MCP server exposing Minuet's ERC-8004 agent relationship graph.
mizukaizen avatar
Hive Doctrine Mcp

mizukaizen/hive-doctrine-mcp

Agent knowledge marketplace. 105 products, 6 MCP tools, x402 payments on Base network.
mobileappbyharis avatar
Navi X402 Mcp

mobileappbyharis/navi-x402-mcp

Paid agent tools, zero API keys: crypto, weather, translation, web intel, x402 discovery (USDC/Base)