A MCP server that supports mainstream eBook formats including EPUB, PDF and more. Simplify your eBook user experience with LLM.

Enables agents to look up a library's Context7-compatible ID and fetch its current, version-specific documentation and code examples, optionally focused on a topic and capped at a chosen token budget.

Enables AI agents to write, compose, and check assume-guarantee contracts, including refinement, consistency, compatibility, realizability, and LTL checks, and to use returned counterexamples to fix specifications.