Dominik Jain
3b898b671c
Reify language backends, introducing LanguageBackendRegistry
...
* Many case differentiations in the agent code were replaced by
method calls in the newly introduced LanguageBackend abstraction
* The registry allows new backends to be added dynamically
(via Python packages that implement a specific entrypoint)
2026-09-18 15:20:10 +02:00
Dominik Jain
006487cbb6
Mark REPL as a beta feature
2026-09-17 20:46:02 +02:00
Dominik Jain
da1accf7e1
Add documentation on the REPL interface
...
* Tools section: Add REPL interface description, advantages and full list of functions
* Config section: Add information on REPL configuration
2026-09-17 10:58:14 +02:00
Dominik Jain
9386012aed
Improve README -> docs translation (once again)
2026-04-20 14:13:49 +02:00
Dominik Jain
82aacb1847
Fix translation from README to docs (once again)
2026-04-14 13:02:22 +02:00
Michael Panchenko
562bfeaa3b
Fix typo in docs (accidental rename)
2026-04-14 11:16:18 +02:00
Dominik Jain
46be9c4bd7
Restructure evaluation docs
2026-04-13 16:42:57 +02:00
Dominik Jain
34a703ad50
Restore links to quick start guide, updating the docs autogen build script
2026-04-11 16:54:45 +02:00
Dominik Jain
30244526f7
README refinements
2026-04-04 20:19:57 +02:00
Dominik Jain
749bb815ae
Adapt docs generation to new integrated README content
2026-04-04 20:00:22 +02:00
Dominik Jain
60067f3274
Mark some new tools as beta tools and denote in tool list
2026-04-03 16:06:28 +02:00
Dominik Jain
2d78040cf9
Auto-generate docs pages from README: About & Features
2026-04-02 18:21:05 +02:00
Dominik Jain
7a1dcfeeda
Auto-generate the tool list in the documentation
2026-03-15 17:26:20 +01:00
Dominik Jain