MCPs Skills Docs Pricing

Accelerating the Agent Economy

Resources

Documentation Privacy Policy System Status

Company

Pricing About Blog

Connect

© 2026 Smithery. All rights reserved.

formal-logic-reasoner

a5c-ai/formal-logic-reasoner

Research

20

About

SKILL.md

Install

Install via Skills CLI

or add to your agent

Claude Code
Codex
OpenClaw
Cursor
Amp
GitHub Copilot
Gemini CLI
Kilo Code
Junie
Replit
Windsurf
Cline
Continue
OpenCode
OpenHands
Roo Code
Augment
Goose
Trae
Zencoder
Antigravity

├─

├─

└─

About

Skill for formal logical reasoning and argument validation

SKILL.md

Recommended Servers

vastlint - IAB XML VAST validator and linter

VAT Validator MCP

Repository

a5c-ai/babysitter