Copiez ce prompt dans l’assistant IA que vous utilisez.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/elizaOS/army.Chargement du README du dépôt…
Affichage de 4 skills collectés sur 4.
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…
Langue du texte source : anglais
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…
Langue du texte source : anglais
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…
Langue du texte source : anglais
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…
Langue du texte source : anglais
Le README n’a pas pu être chargé. Vous pouvez toujours consulter les Skills du dépôt ci-dessous.