All authors
Claude Skills by BootLoops-ai
github.com/BootLoops-ai13 skills2 installs9 views
- Bootloops SetupSet 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.Votes: 0GitHub stars: 5
- Acceptance GateThe 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.Votes: 0GitHub stars: 5
- Constant RecognitionDiscipline 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.Votes: 0GitHub stars: 5
- Independence BookkeepingProvenance 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.Votes: 0GitHub stars: 5
- Planted TruthSynthetic-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.Votes: 0GitHub stars: 5
- Reading ContractSources-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.Votes: 0GitHub stars: 5
- Timing DisciplineCompute-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.Votes: 0GitHub stars: 5
- Tool StewardshipHow the toolkit is consulted, extended, and documented. Use before writing any new code — and after, when a genuinely new instrument has earned its place.Votes: 0GitHub stars: 5
- Lit ReviewDeep 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.Votes: 0GitHub stars: 5
- Prose Lintuse before circulating any scientific text, human- or LLM-drafted — a clarity and integrity linter: hype vocabulary, empty sentence structures, agentless prose, number discipline, and honesty failures; one pass is never enough.Votes: 0GitHub stars: 5
- Prove ProtocolMulti-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).Votes: 0GitHub stars: 5
- Ref CheckCareful 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 tr...Votes: 0GitHub stars: 5
- Referee SimUse 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.Votes: 0GitHub stars: 5