القائمة
Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute
يُحدَّد Prompt الذي يراجع المصدر أولًا بشكل افتراضي. يمكنك التبديل إلى أمر مباشر أو تنزيل نسخة محلية.
اقرأ SKILL.md وأي ملفات مرافقة يعرضها SkillsMP قبل أن تقرر التثبيت.
التثبيت باستخدام Codex أو Claude انسخ هذا Prompt والصقه في Codex أو Claude أو مساعد آخر ليراجع صفحة Skill ويثبّتها لك.
يتجاوز الأمر المباشر Prompt المخصّص للمراجعة. افحص المصدر قبل تشغيله.
npx skills add https://github.com/Zaoqu-Liu/ScienceClaw --skill theorem-provingيبقى الأمر في سطر واحد. مرّر أفقيًا لمراجعته كاملًا قبل النسخ.
تفضّل نسخة محلية؟ نزّل الملفات المتاحة حاليًا لدى SkillsMP.
Search Allen AI's Asta Scientific Corpus (225M+ papers, 12M+ full-text, 2.4B+ citations) via MCP endpoint. Provides paragraph-level semantic search across full-text publications, citation graph traversal, and author analysis. Use as a complement to PubMed/OpenAlex/Semantic Scholar for deeper literature discovery, especially when full-text search or citation network analysis is needed. Requires ASTA_API_KEY in .env (free registration at allenai.org/asta).
Browser automation for accessing scientific databases that lack REST APIs. Uses the browser-use Python framework (81k+ GitHub stars) to control a real browser via LLM vision. Enables data extraction from web-only databases like GEPIA2, GeneCards advanced features, COSMIC public data, and journal full-text access. Use as a fallback when curl-based API access fails or when the target database has no programmatic API. Requires pip install browser-use and a Chromium browser.
Systematic drug repurposing analysis inspired by NovusAI. Evaluates existing drugs for new therapeutic indications through multi-dimensional evidence gathering across target networks, clinical trials (including failures), patent landscape, safety profiles, and off-label literature. Produces ranked repurposing candidates with evidence scores. Use when users ask about finding new uses for existing drugs, off-label potential, "老药新用", or "drug repurposing for X". Complements target-validation (which starts from a target) by starting from a drug.
استنادا إلى تصنيف SOC المهني
عرض SKILL.md
| name | theorem-proving |
| description | Construct and verify mathematical proofs using LaTeX typesetting and computational verification via jupyter_execute |
Assist with constructing, verifying, and typesetting mathematical proofs. Combines rigorous logical reasoning with computational verification.
latex_compile - Typeset proofs and mathematical documents (auto-switches to LaTeX editor)update_latex - Write LaTeX content to the editor for review before compilingjupyter_execute - Verify results computationally (sympy, numpy)update_notes - Write proof outlines and scratch work to Notes editorWhen user says: "Prove that [statement]"
When user says: "Is it true that [conjecture]?"