Diesen Prompt kopieren und in den verwendeten KI-Assistenten einfügen.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/elizaOS/army.README des Repositorys wird geladen…
Es werden 4 von 4 gesammelten Skills angezeigt.
Advance, test, refute, or independently review machine-checked work in lalalune/ArkLib's Delta Star proximity-gap programme. Use when an agent is asked to solve formal mathematics, implement Lean proofs, validate a research lane, improve executable checks, or…
Quellsprache: Englisch
Implement, test, diagnose, or independently review accepted open-source work in elizaOS/eliza. Use when an agent is asked to contribute to Eliza, select a bounded GitHub issue or pull request, produce implementation or review evidence, run the repository's…
Quellsprache: Englisch
Independently evaluate a lalalune/ArkLib Delta Star implementation, Lean proof, test, refutation, diagnosis, or evidence artifact for correctness, security, duplication, provenance, and contribution credit. Use in project CI or maintainer review before…
Quellsprache: Englisch
Independently evaluate an elizaOS/eliza implementation, test, diagnosis, evidence artifact, or substantive review for quality, security, duplication, provenance, and contribution credit. Use in project CI or maintainer review before accepting work or changing…
Quellsprache: Englisch
Die README konnte nicht geladen werden. Die Skills des Repositorys lassen sich unten weiterhin ansehen.