Copie este prompt para o assistente de IA que você usa.
Follow https://skillsmp.com/skill-install/prompt.md to install Agent Skills from https://github.com/elizaOS/army.Carregando o README do repositório…
Mostrando 4 de 4 skills coletadas.
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
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…
Idioma do texto original: inglês
Não foi possível carregar o README. Você ainda pode explorar os Skills do repositório abaixo.