Download the PHP package aipublicproject/mathsolver-help without Composer
On this page you can find all versions of the php package aipublicproject/mathsolver-help. It is possible to download/install these versions without Composer. Possible dependencies are resolved automatically.
Download aipublicproject/mathsolver-help
More information about aipublicproject/mathsolver-help
Files in aipublicproject/mathsolver-help
Package mathsolver-help
Short Description BYOK AI math solver with execution-based verification (PAL-style) — bring your own OpenAI-compatible API key; the answer is computed locally by executing a model-generated program, never taken from a number the model stated.
License MIT
Homepage https://mathsolver.help
FAQ
Example:
In general, it is recommended to use always a project to download your libraries. In an application normally there is more than one library needed.
- Some hosting areas are not accessible by a terminal or SSH. Then it is not possible to use Composer.
- To use Composer is sometimes complicated. Especially for beginners.
- Composer needs much resources. Sometimes they are not available on a simple webspace.
- If you are using private repositories you don't need to share your credentials. You can set up everything on our site and then you provide a simple download link to your team member.
- Simplify your Composer build process. Use our own command line tool to download the vendor folder as binary. This makes your build process faster and you don't need to expose your credentials for private repositories.
Informations about the package mathsolver-help
mathsolver-php
BYOK AI math solver with execution-based verification (PAL-style) — bring your own OpenAI-compatible API key; the answer is computed locally by executing a model-generated program, never taken from a number the model stated.
How it works
- Calls your OpenAI-compatible endpoint (any base_url) with a strict-JSON prompt.
- The model returns a small program (a JavaScript-like arithmetic dialect), explanation steps, and a check expression containing
{x}— the model never states the answer as a number. - The package executes the program locally with its own interpreter (recursive-descent parser, no eval, no model code execution). The execution output IS the answer.
- The check expression is evaluated with the computed answer substituted for
{x}and must equal ~0 — for equations, substitute the answer back into the original equation (e.g.2x+3=11->2*{x}+3-11); for arithmetic, recompute via a different path and subtract the answer. - Program error or failed check -> automatic corrective retry (max 1).
verified: truemeans the check passed;verified: falsemeans it never did — treat those answers with care.
Verification promise (honest scope)
- ✅ the answer is produced by local program execution — the model has no way to "declare" a result.
- ✅
verified: truemeans an independent check expression evaluated to ~0. - ❌ proof steps / textual reasoning are model-generated and NOT step-verified.
- ❌ if the model misreads the problem, a self-consistent program+check can still be wrong.
Test
See .github/workflows/test.yml (CI runs on every push). Tests cover the expression evaluator (precedence, env variables), the program interpreter (let / result / bare expressions), check substitution, answer-comes-from-execution (model JSON contains no answer field), check-fail retry-recover, program-error retry, PROGRAM_* persistent error, invalid-JSON retry, double-invalid error, HTTP error no-retry, NO_API_KEY guard — plus an HTTP-interface mock (no server, no sockets) that runs the default transport's real code path and asserts URL, headers, body, temperature and the corrective retry payload.
Maintained by mathsolver.help — free step-by-step math solver, try it online.
