author:cool-man-vk – MCP tools

list-premises
MCP Logic
Review all asserted statements in a logic reasoning session to track what has been established in the knowledge base.
list-premises
MCP Logic
Review all asserted facts in a logic reasoning session to understand current knowledge base contents and maintain reasoning context.
get_command_documentation
Unix Manual Server
Retrieve Unix command documentation directly within chat, offering help pages, man pages, and usage details using economic approaches or specific manual sections.
MIT
get_command_documentation
Unix Manual Server
Retrieve Unix command documentation, including help pages and man pages, directly within Claude conversations to understand command usage without leaving the chat interface.
MIT
uk_live_departures
mcp-server-public-transport
Retrieve real-time train departure information for UK stations using CRS codes to plan journeys and check schedules.
Python
MIT
check-well-formed
MCP Logic
Validate logical statement syntax to catch errors before reasoning operations, ensuring formulas follow first-order logic rules for predicates, quantifiers, and operators.

Interested in MCP?

Join the MCP community for support and updates.