TexasSolver MCP Server

.env.example•418 B

# TexasSolver Binary Path # Set this to the absolute path of the console_solver executable TEXAS_SOLVER_PATH=/path/to/TexasSolver-v0.2.0-MacOs/console_solver # Optional: Server data directory (defaults to ./data) # MCP_DATA_DIR=./data # Optional: Solver execution timeout in milliseconds (defaults to 600000 = 10 minutes) # SOLVER_TIMEOUT_MS=600000 # Optional: Enable debug logging (defaults to false) # DEBUG=true

Loading blob content...

Latest Blog Posts

Redis vs ioredis vs valkey-glide
By punkpeye on January 26, 2026.
benchmark
Redis
valkey
Quickstart: Publish an MCP Server to the MCP Registry
By punkpeye on January 24, 2026.
mcp
official reference mirror
Official MCP Registry Server.json Requirements
By punkpeye on January 24, 2026.
mcp
official reference mirror

MCP directory API

We provide all the information about MCP servers via our MCP API.

curl -X GET 'https://glama.ai/api/mcp/v1/servers/bsim0927/texas-solver-mcp-server'

If you have feedback or need assistance with the MCP directory API, please join our Discord server

.env.example•418 B