Skip to content

Add TeXada-the-Math-Agent - #11396

Open
probonopd wants to merge 1 commit into
masterfrom
discover/TeXada-the-Math-Agent
Open

probonopd wants to merge 1 commit into
masterfrom
discover/TeXada-the-Math-Agent

Conversation

@probonopd

Copy link
Copy Markdown
Member

Repository: https://github.com/CacinieP/TeXada-the-Math-Agent

Recognize, transcribe and typeset math formulas locally: natural language / image / broken TeX → valid LaTeX with preview

  • Stars: 47
  • Release with the AppImage: v0.4.4 (2026-11-07T16:15:04Z)
  • AppImage asset: TeXada_0.4.4_amd64.AppImage
  • License: AGPL-3.0

Found by .github/workflows/discover-apps.yml, which looks for GitHub
repositories that publish AppImages but are not in the catalog yet. This
entry was not tested by a human; please review it before merging.

Discovered on GitHub as publishing AppImages on its releases, by
discover-apps.yml. Needs a maintainer's review.
@github-actions

github-actions Bot commented Nov 8, 2026

Copy link
Copy Markdown
Contributor

⚠️ Manual check needed: the name of the file has more than two hyphens

  • TeXada-the-Math-Agent

The name of the file in data/ should be the name of the application (see the README), without version, architecture or file extension; blanks become _. Many hyphens often mean that it is a file name such as App-1.0-x86_64 instead.

  • Contributor: please check the name, or say in this PR why it is right (some applications really have hyphens in their name).
  • Maintainers: please check the name before merging.

Commit ff74fd0.

@github-actions github-actions Bot added manual-check-needed A maintainer needs to check this PR, see its comments error-app-exits Test failed: the application quit or crashed right after starting error-glibc-too-new Test failed: built on a too new system (needs a newer glibc) labels Nov 8, 2026
@github-actions

github-actions Bot commented Nov 8, 2026

Copy link
Copy Markdown
Contributor

❌ Test failure

@CacinieP: this pull request adds the AppImage from your GitHub repository to the AppImage catalog; the test reports the following. Could you have a look?

Tested:

Compatibility: not self-contained: uses the C library of the system; references glibc 2.39

  • The AppImage needs a newer C library (glibc, or the C++ library libstdc++) than the test system has; the error names the version that is missing (e.g. GLIBC_2.38). The test runs on the oldest Ubuntu LTS release that is still in standard support (see https://ubuntu.com/about/release-cycle), because an AppImage is meant to run on any current Linux distribution, including older ones, and glibc can only be as old as the system the AppImage was built on: a program built on a newer system links against symbols that older systems do not have. The fix is to build on the oldest still-supported LTS release (in GitHub Actions, the oldest ubuntu-* runner still offered, or a container of that release), not on the newest system. If the program itself needs a newer compiler, build in a container of the old release with a newer toolchain (e.g. the toolchain PPAs), statically link what needs it, or bundle the C library together with its dynamic loader (ld-linux) in the AppImage: then the host's glibc does not matter at all (the test reports X-AppImage-Libc=bundled). See https://docs.appimage.org/reference/best-practices.html#binaries-compiled-on-old-enough-base-system
  • The application quit or crashed right after starting; the error below usually shows why. Note that the test runs the application without network access, on purpose, and that this is a requirement for the catalog: an AppImage must start without network (users are offline too). If the application needs a server, a login or an update check to start, please make it show its window (or at least a message) first and connect afterwards, and handle a failed connection instead of exiting.

First error in the log:

texada-shell: /lib/x86_64-linux-gnu/libc.so.6: weak version `GLIBC_2.39' not found (required by texada-shell)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libcrypto.so.3)
texada-shell: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libgdk-3.so.0)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libgdk-3.so.0)
texada-shell: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libcairo.so.2)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libcairo.so.2)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libglib-2.0.so.0)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libdbus-1.so.3)
texada-shell: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libwebkit2gtk-4.1.so.0)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libwebkit2gtk-4.1.so.0)
texada-shell: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libgtk-3.so.0)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libgtk-3.so.0)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libsoup-3.0.so.0)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libgio-2.0.so.0)
texada-shell: /lib/x86_64-linux-gnu/libm.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libjavascriptcoregtk-4.1.so.0)
texada-shell: /lib/x86_64-linux-gnu/libc.so.6: version `GLIBC_2.38' not found (required by /run/firejail/appimage/usr/lib/libjavascriptcoregtk-4.1.so.0)

What next: once the AppImage is fixed (e.g. in a new release), comment /retest here to test it again. If it should not be in the catalog after all, close this pull request; an app that is already in the catalog can be removed by a maintainer with /remove.

Commit ff74fd0. Full log

@CacinieP

CacinieP commented Nov 9, 2026

Copy link
Copy Markdown

Thanks for discovering TeXada and for the compatibility report!

The v0.4.4 Linux package was built on Ubuntu 24.04, which explains the newer glibc requirements. I have opened a fix in CacinieP/TeXada-the-Math-Agent#74 to:

  • build the Linux desktop and Python backend on Ubuntu 22.04 (glibc 2.35);
  • build the pinned llama-server from source on the same baseline instead of using an upstream Ubuntu binary;
  • check packaged ELF glibc imports and exercise both the deb and AppImage with external networking disabled, while retaining loopback for the local backend.

The regular audit checks have passed; the new Linux package build/startup validation is still running. A corrected AppImage has not been released yet, so I am not requesting a retest at this stage. Once a validated replacement is published, I will follow up here and request a retest.

Regarding the filename warning: TeXada-the-Math-Agent is the repository/project name, and its hyphens do not represent a version or architecture. The desktop application's display name is TeXada, so data/TeXada would be appropriate if the catalog entry should follow the application name rather than the repository name.

@github-actions github-actions Bot added the needs-maintainer Blocked on a maintainer: passed and waiting for review, or flagged for a manual check label Nov 9, 2026

This branch has not been deployed

No deployments
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

auto-discovered error-app-exits Test failed: the application quit or crashed right after starting error-glibc-too-new Test failed: built on a too new system (needs a newer glibc) manual-check-needed A maintainer needs to check this PR, see its comments needs-maintainer Blocked on a maintainer: passed and waiting for review, or flagged for a manual check

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants