Stefan Szeider

@szeider

TU Wien Vienna, Austria www.ac.tuwien.ac.at/people/szeider/ On GitHub since January 2016

View on GitHub

Published Tools

577

Total Stars

149

Weekly Downloads

GitHub Followers

Public Repos

100/100

Avg Security

Published Tools

10 MCP Servers1 Agentacross 3 categories

Consult7

szeider

MCP server to consult a language model with large context size

MCP ServerCommunity Servers

2954 dirs

Solver

szeider

Model Context Protocol (MCP) server for constraint optimization and solving"

MCP Serveruncategorised

1862 dirs

Mcp Dblp

szeider

No description available

MCP Serveruncategorised

474 dirs

mcp-dblp

An MCP server that provides access to the DBLP computer science bibliography for LLMs.

MCP Servermcp

471 dir

Sage

szeider

MCP server providing persistent SageMath sessions to any MCP-compatible host

MCP Serveruncategorised

21 dir

mcp-minion

Stefan Szeider <[email protected]>

A minimal ReAct agent over MCP servers via OpenRouter

MCP Servermcp

3 dirs

mcp-sage

Stefan Szeider

MCP server providing persistent SageMath sessions (Sage REPL over the Model Context Protocol)

MCP Servermcp

2 dirs

consult7

MCP server for consulting large context window models to analyze extensive file collections via OpenRouter

MCP Servermcp

1 dir

leanback

Stefan Szeider

MCP server for Lean 4 theorem proving — check, prove, goals, eval, search

MCP Servermcp

1 dir

iflow-mcp_mcp-solver

Stefan Szeider <[email protected]>

MCP server for Constraint, SAT, and SMT solving

MCP Serveruncategorised

1 dir

agentic-python-coder

Stefan Szeider

A lightweight Python coding agent that writes, executes, and iterates on code through natural language instructions

Agentuncategorised