fastmcp: FastMCP is a standard framework for building Model Context Protocol (MCP) applications, which connect LLMs to tools and data. It simplifies the process by automatically generating schemas, validation, and documentation for tools, and managing transport negotiation and authentication for server connections. FastMCP offers a comprehensive solution for developing, deploying, and scaling MCP-powered systems.; chiasmus: Chiasmus is an MCP server that integrates formal verification (Z3, Prolog) and code analysis (tree-sitter) to solve complex logical and structural problems. It translates natural language into formal logic using templates and provides verified results. It also analyzes source code call graphs for dead code, impact, and reachability.
Building LLM applications that interact with custom tools and data sources
Detect conflicts in access control rules