Toolserver patch + repo_push tool Dit zipje bevat: - app.py (toolserver-only + repo_push) - llm_client.py Nieuwe tool: repo_push - Maakt een nieuwe branch (default: test/-) vanaf base_branch - Past een unified diff toe (git apply) - Commit + push naar origin - Optioneel: create_pr (best-effort) via Gitea API Belangrijke env vars: - LLM_PROXY_URL="http://192.168.100.1:8081/v1/completions" (voor tools die LLM nodig hebben) - ALLOWED_GIT_HOSTS="192.168.100.1,localhost,127.0.0.1" (veiligheidscheck; pas aan indien nodig) Voor push-auth (HTTP): - GITEA_USER="..." (of GIT_HTTP_USER) - GITEA_TOKEN="..." (of GIT_HTTP_TOKEN) Git identity voor commits: - GIT_AUTHOR_NAME="toolserver" - GIT_AUTHOR_EMAIL="toolserver@local" Gebruik: - tools worden automatisch beschikbaar via /openapi/repo_push en /v1/tools.