MCP server to consult a language model with large context size
MCP Solverは、モデルコンテキストプロトコルを利用して、SAT、SMT、制約解決の機能を大規模言語モデルに統合するサーバーです。MiniZinc、PySAT、Z3 Pythonを用いた制約モデルや最適化問題を作成、編集、解決することができます。AIと制約プログラミングの融合により、より高度な問題解決が可能になります。
A Model Context Protocol (MCP) server that provides access to the DBLP computer science bibliography database for Large Language Models.
Pythonデータベース・ストレージDatabase+5+4 