Need help with advanced AI agent engineering?Contact FirmAdapt

Oliver Dressler

Oliver Dressler

@ooo0ooo

Switzerland oli.show On GitHub since August 2012

2

Published Tools

540

Total Stars

0

Weekly Downloads

50

GitHub Followers

46

Public Repos

100/100

Avg Security

Published Tools

2 MCP Serversacross 2 categories

lean-lsp-mcp

Oliver Dressler <[email protected]>

A

Lean Theorem Prover MCP

MCP Servermcp

5402 dirs

iflow-mcp_ooo0ooo-lean-lsp-mcp

Oliver Dressler <[email protected]>

A

Lean Theorem Prover MCP

MCP Serveruncategorised

1 dir