bootloops-ai
12 skills with substantive source documentation and an official publisher or observed installation demand. Read each skill’s original documentation through its card.
bootloops-aiacceptance-gate
The standard a computed result must meet before it may be called done. Use whenever an agent claims an integral is solved, a fit has closed, a formula is identified, or any quantitative answer is ready — the claim is not done until it passes this gate.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aibootloops-setup
Set up the BootLoops protocol skills for this user. Use when the user asks to set up BootLoops, activate or install its skills, or asks what discipline the toolkit ships with. Presents the roster, asks which skills to activate, and installs only what the user chooses.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aiconstant-recognition
Discipline for integer-relation searches (PSLQ, LLL) that turn high-precision digits into exact constants. Use whenever recognizing a numerical value as a closed form, fitting boundary constants, or reporting that no closed form exists.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aiindependence-bookkeeping
Provenance rules that keep checks independent. Use when setting up any comparison, oracle, or reference value — and whenever tempted to certify a result with machinery that helped produce it.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-ailit-review
Deep literature review behind a research project's novelty claims — a protocol whose one job is to prevent shortcuts. It demands the papers be actually read (nothing from memory), makes thoroughness falsifiable (read ledgers, search receipts, gap statements), tracks citation chains in both directions, and lists the places to look. Use before any novelty claim ships, when writing or reviewing a related-work section, and when refereeing.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aiplanted-truth
Synthetic-truth controls for analysis pipelines. Use before running any statistical fit, solver, audit, or search on real data — the pipeline must first prove it can recover a known planted answer and catch a deliberately corrupted input.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aiprove-protocol
Multi-agent protocol for proving or refuting mathematical statements. Use when trying to prove a mathematical statement with agents, when a claimed lemma keeps dying under scrutiny, or when the true statement itself is still unknown (theory-finding regime).
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aireading-contract
Sources-only discipline for any instrument or agent that reads documents and asserts facts from them — literature audits, record replays, data extraction, citation of prior work.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-airef-check
Careful bibliography verification and entry-addition for papers — verify every author, title, journal, volume, pages, year, arXiv ID, and DOI against authoritative online sources (INSPIRE, arXiv, CrossRef/DOI, zbMATH, publisher) before anything enters or stays in a .bib file. Use whenever adding bib entries, auditing a bibliography, checking citations, fixing references, or when asked to "check the references". Encodes the report-then-fix pattern for full-file audits and the folklore-error traps
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aireferee-sim
Use before circulating any outward-facing scientific document — simulate the strongest standard objection from every audience it claims and verify the document answers each where that reader would look.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aitiming-discipline
Compute-planning rules. Use before launching any calculation whose runtime is not already measured — and whenever an agent proposes a long run, an overnight grind, or a bigger machine as the way forward.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct
bootloops-aitool-stewardship
How the toolkit is consulted, extended, and documented. Use before writing any new code — and after, when a genuinely new instrument has earned its place.
- instalaciones
- 4
- GitHub Stars
- 6
- Actualizado
- 1 oct