메뉴
SkillsMP는 elizaOS/army에서 4개의 skill을 수집했습니다. skill을 열어 소스와 세부 정보를 확인하세요.
수집된 skill 4개 중 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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어
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…
원문 언어: 영어