Comprehensive tools for discrete mathematics: logic, algorithms, number theory, cryptography
MCPpedia last refreshed this data
io.github.ZohaibCodez/discrete-structures is an MCP server that comprehensive tools for discrete mathematics: logic, algorithms, number theory, cryptography. Its tool list has not been published yet over sse, requires no API key, and scores 81/100 on MCPpedia's security, maintenance and efficiency rubric.
Config is the same across clients - only the file and path differ.
{
"mcpServers": {
"io-github-zohaibcodez-discrete-structures": {
"args": [
"-y",
"copy"
],
"command": "npx"
}
}
}Are you the author?
Add this badge to your README to show your security score and help users find safe servers.
Comprehensive tools for discrete mathematics: logic, algorithms, number theory, cryptography
Run this in your terminal to verify the server starts. Then let us know if it worked - your result helps other developers.
npx -y 'copy' 2>&1 | head -1 && echo "✓ Server started successfully"
After testing, let us know if it worked:
Five weighted categories - click any category to see the underlying evidence.
uv's bundled CA store trusts an emSign root whose intermediate CA keys are compromised
By default, uv verifies TLS connections against a vendored copy of the `webpki-root-certs` bundle. Versions before 0.13.4 include the `emSign ECC Root CA - G3` root. Eight eMudhra intermediate CA certificates that chain to that root have compromised private keys, and the CA has revoked them. An attacker with one of the compromised keys can issue certificates that uv accepts for any hostname, and can be used to issue certificates to enable MITM attacks. uv 0.13.4 removes the root from its vendo
uv's bundled CA store trusts an emSign root whose intermediate CA keys are compromised
By default, uv verifies TLS connections against a vendored copy of the `webpki-root-certs` bundle. Versions before 0.13.4 include the `emSign ECC Root CA - G3` root. Eight eMudhra intermediate CA certificates that chain to that root have compromised private keys, and the CA has revoked them. An attacker with one of the compromised keys can issue certificates that uv accepts for any hostname, and can be used to issue certificates to enable MITM attacks. uv 0.13.4 removes the root from its vendo
uv: Path traversal on Windows through wheel extraction
### Impact In versions of uv from 0.12.7 to 0.12.18 on Windows, uv could be induced into writing a file outside of the installation prefix during wheel installation. A malicious wheel could use this to place an executable outside of the intended environment, including in a directory already present on the user's PATH. This vulnerability only affects Windows hosts; no other platforms are affected. ### Patches uv 0.12.18 and newer address this vulnerability. Users are encouraged to upgrade t
uv allows ZIP payload obfuscation through parsing differentials
## Impact In versions 0.8.5 and earlier of uv, remote ZIP archives were handled in a streamwise fashion, and file entries were not reconciled against the archive's central directory. This enabled two parser differentials against other Python package installers: 1. An attacker could contrive a ZIP archive that would extract with legitimate contents on some package installers, and malicious contents on others due to multiple local file entries. The attacker could choose which installer to target
uv is vulnerable to arbitrary file write through entry point names
### Impact In versions of uv prior to 0.11.15, when installing a distribution containing an entry point specification (under `console_scripts` or `gui_scripts`), uv would place the generated entry point according to the given name even if doing so resulted in a path outside of the environment's scripts directory. A malicious wheel could use this to place an executable outside of the intended environment, including in a directory already present on the user's `PATH`. This could shadow or overwr
Click any tool to inspect its schema.
Be the first to review
Have you used this server?
Share your experience - it helps other developers decide.
Sign in to write a review.
Others in education
2,700+ scientific tools for AI scientists: life science, research, literature, and more.
ARIS ⚔️ (Auto-Research-In-Sleep) — Lightweight Markdown-only skills for autonomous ML research: cross-model review loops, idea discovery, and experiment automation. No framework, no lock-in — works with Claude Code, Codex, OpenClaw, or any LLM agent.
Daofy for Delphi — MCP Server that compiles Delphi projects and queries knowledge base for AI assistants.
SchoolPass for Claude — students, arrival/dismissal calendar, pickup changes, and school info
MCP Security Weekly
Get CVE alerts and security updates for io.github.ZohaibCodez/discrete-structures and similar servers.
Start a conversation
Ask a question, share a tip, or report an issue.
Sign in to join the discussion.
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.