diff --git a/src/api/mcp/z3mcp.py b/src/api/mcp/z3mcp.py
new file mode 100644
index 000000000..107b297ea
--- /dev/null
+++ b/src/api/mcp/z3mcp.py
@@ -0,0 +1,16 @@
+# z3mcp.py
+from mcp.server.fastmcp import FastMCP
+from z3 import *
+
+# Create an MCP server
+mcp = FastMCP("Z3 Solver")
+
+
+# Evaluate SMT commands
+@mcp.tool()
+def eval(command : str) -> str:
+    """Evaluate an SMTLIB2 Command using Z3"""
+    return Z3_eval_smtlib2_string(main_ctx().ctx, command)
+
+if __name__ == "__main__":
+    mcp.run()