mathematical-artifact-validation
Run fail-closed deterministic validation for mathematical and LaTeX artifacts
Profile →npx skills add a5c-ai/babysitter --skill mathematical-artifact-validation --agent claude-code
Same command for any agent — swap --agent for codex, cursor, copilot.
Weekly change comes from our own snapshots, not the repository page — it measures attention, not adoption.
# Mathematical Artifact Validation ## Purpose Produce reproducible source, structure, and reference evidence. Static validation is not mathematical proof verification. ## Inputs Source paths, LaTeX artifact, optional BibTeX files, required sections, registry, tool policy, and output manifest paths. ## Shell-only gates 1. `validate_sources.py`: strict UTF-8, nonempty files, no `U+FFFD`, SHA-256 manifest. 2. `validate_math_artifact.py`: braces/environments, required sections, labels, references, theorem target numbering/type, citations. 3. `validate_registry.py`: durable evidence and coverage invariants. 4. `validate_grade.py`: rubric arithmetic/current hashes. 5. Optional compiler command: execute a locally available TeX tool in a run-owned output directory and preserve version, argv, exit code, stdout/stderr, and output hash. Every task declares `expectedExitCode: 0`. Required-tool unavailability follows policy and is never represented as pass. An agent may classify diagnostics but may not override a failed shell result. ## Security and portability Use structured file paths, a run-owned workspace, Python standard library, and no Node. Never use lossy decoding. Never overwrite sourc
- Purpose
- Inputs
- Shell-only gates
- Security and portability
- Output
What does the mathematical-artifact-validation skill do?
Run fail-closed deterministic validation for mathematical and LaTeX artifacts
How do I install it?
Run `npx skills add a5c-ai/babysitter --skill mathematical-artifact-validation --agent claude-code` — it drops the skill into your project so the agent can pick it up. Swap the --agent value for codex, cursor or copilot if you use one of those.
Where does this skill come from?
From a5c-ai/babysitter, a repository with 1,674 stars. We read it straight from the repository tree rather than a submitted listing, so what you see here is what is actually published.
Is a popular skill a good skill?
Not necessarily. Stars measure attention, not adoption — a repository can trend for a week and be abandoned. That is why we show the weekly change from our own snapshots next to the total, instead of a single flattering number.