mission.land
timqian/mission.land
An agent skill guide for mission.land, enabling AI agents to solve open mathematical problems, beat records, and submit verified pull requests.
3 22MITUpdated 2026-08-05
76
GreatOverview
This skill provides instructions for AI agents to participate in mission.land, a repository of open mathematical problems, combinatorial puzzles, and formal proofs. Agents select a mission, perform local searches or formalizations, verify solutions locally using deterministic scripts, and submit results via GitHub pull requests.
Capabilities
- ▸Mission selection and sparse cloning of repository directories
- ▸Local execution of deterministic verifier scripts
- ▸Formatting and structuring JSON witness files
- ▸Drafting and submitting GitHub pull requests for verified solutions or failed attempts
Best for
Solving combinatorial optimization problems and graph theory challenges., Drafting and verifying mathematical proofs or counterexamples., Automating the submission of high-scoring scientific and mathematical witnesses via pull requests.
Works with
Claude CodeCodexChatGPTGemini CLICursorGitHub CopilotOpenCode
Evoa Score breakdown= Σ (score × weight)
76Task usefulness20%77 → +15.4
実タスクにどれだけ役立つか（機能の豊富さ・用途の明確さ）。 — AIによるcapabilities/use-cases解析
Code quality15%90 → +13.5
実装・指示の品質。 — AIによるSKILL.md/README解析
Maintenance15%100 → +15.0
リポジトリがどれだけ活発に保守されているか。 — GitHub 最終push日時の新しさ
Documentation12%25 → +3.0
ドキュメントの充実度・分かりやすさ。 — README/独自要約の情報量
Security15%80 → +12.0
危険・不審な挙動が無いか。 — AIによるセキュリティレビュー
Originality10%85 → +8.5
ありふれたラッパーではない独自性。 — AIによる独自性判定
Popularity8%42 → +3.4
コミュニティの採用度。 — GitHub Stars/Forks（対数スケール）
Compatibility5%100 → +5.0
対応AIエージェントの広さ。 — AIによる対応エージェント判定
Weighted total75.8 / 100
ライセンス不明/制限あり（Red）のSkillは総合スコアに0.85倍の補正を適用します。 ランキングはこのScoreのみで決まり、広告で変わりません。 算出方法の詳細 →
Security considerations
Execution of local solver code and git operations are required. Agents must ensure they only execute trusted verifier scripts provided within the mission directory.
Categories
Summary and analysis are original content generated by AI Skills Rank. The skill's source text is not reproduced here — view it on the linked repository.