Menú
SkillsMP ha recopilado 7 skills de bigwolfeman/ai-project-template. Abre una skill para revisar su origen y sus detalles.
Mostrando 7 de 7 skills recopiladas.
Closes a research campaign — audits integrity, synthesizes beliefs including negative results, and optionally prepares a human-reviewed promotion package. Use when a campaign stops, completes, or aborts; when the operator requests an integrity audit alone; or…
Idioma del texto original: inglés
Places documentation in the correct home, trims duplicated rules, validates with verify_template.py, and archives or supersedes Agent Notes. Use when writing, moving, or auditing docs; when adding, auditing, archiving, or deleting Agent Notes; or when…
Idioma del texto original: inglés
Chooses the cheapest sound verification method (tests, property-based tests, Z3, or Lean) and writes a proof plan with property, assumptions, model, commands, and unproved remainder. Use when a claim needs a test or a proof. Live Z3 or Lean binaries are not…
Idioma del texto original: inglés
Shared research-campaign references. Use when writing or reviewing research skills, campaign files, experiment writeups, evaluators, proofs, or technical research prose. Read these files before inventing terms or SKILL.md sections.
Idioma del texto original: inglés
Runs a campaign after setup — seals a baseline, executes a bounded trial loop, evaluates candidates, diagnoses crashes or invalid trials, updates research issues, and plans valley exploration when one greedy step cannot test a compound claim. Use when…
Idioma del texto original: inglés
Forms a falsifiable hypothesis under lab/experiments/planned/ (Predictions before any run, no Results), runs the protocol, and writes up under successes/ or failures/. Use when proposing, running, or writing up an experiment, when a campaign needs a linked…
Idioma del texto original: inglés
Classifies research work as spike, experiment, campaign, bug investigation, or design decision; creates a bounded lab/campaigns/<slug>/ tree; builds an invariant evaluator contract and lock input. Use when the operator asks to start research, scope unclear…
Idioma del texto original: inglés