Home Skills MCPs Install

Logic Rs

1 server

Logic.rsLogic RsZero-Hallucination Formal Logic & SMT Solver for AI Agents

← All servers

Browse

All skills
All MCP servers
Install
Agent access

Authors

Skills authors
MCP authors

Machine

Registry
MCP registry
llms.txt
llms-mcps.txt

© 2026 Agent Skills

Search skills and MCP servers

Search across 31,816 skills and MCPs