Listed from the MCP registry; nobody on Odel publishes it.
Comprehensive tools for discrete mathematics: logic, algorithms, number theory, cryptography
Runs on your machine from its package; the steps are below.
At most: only reads or looks up information.
Odel charges nothing per call. The publisher may charge for its own service.
Runs locally over stdio
This server isn't hosted — your MCP client launches it from a package registry. Use one of the commands below, or drop the config into your client (e.g. Claude Desktop).
Run
uvx discrete-structures-mcp
MCP client config
{
"mcpServers": {
"discrete-structures": {
"command": "uvx",
"args": [
"discrete-structures-mcp"
]
}
}
}An interactive web-based educational platform for learning discrete structures through visualizations, AI-powered assistance, and hands-on tools.
pip install uv)cd backend
uv sync
copy .env.example .env
# Edit .env and add your OPENAI_API_KEY
uv run uvicorn src.main:app --reload
Backend runs on http://localhost:8000
cd frontend
npm install
copy .env.example .env
npm run dev
Frontend runs on http://localhost:5173
discrete-structures-ai-platform/
├── backend/ # FastAPI backend + MCP server
│ ├── src/
│ │ ├── api/ # API endpoints
│ │ ├── agents/ # OpenAI agents
│ │ ├── mcp/ # MCP tools
│ │ ├── models/ # Pydantic models
│ │ └── services/ # Business logic
│ └── tests/ # Backend tests
├── frontend/ # React frontend
│ ├── src/
│ │ ├── components/ # React components
│ │ ├── pages/ # Page components
│ │ ├── services/ # API clients
│ │ ├── hooks/ # Custom hooks
│ │ └── types/ # TypeScript types
│ └── public/ # Static assets
└── specs/ # Project specifications
This project follows a phased implementation approach:
See specs/001-ds-ai-platform/tasks.md for detailed task breakdown.
Educational use only.