Commit History

fix: requirements
7d3769d

Ludek Matyska commited on

feat: get_theory tools
eba4c06

Ludek Matyska commited on

fix: get_theory args
cc9f055

Ludek Matyska commited on

feat: basic mcp app
22cc337

Ludek Matyska commited on