20 skills found
Cyptopimpinainteazy / 01-proof-before-claimNo completion claim is valid without proof from actual source, tests, wiring, and command output. - Before saying anything is "done", run the strongest proof command available.
omermaksutii / RugProofSmart contract security auditor for Claude Code — vuln detection, exploit PoCs, mainnet-fork simulation, audit cards, on-chain certificates. Solidity + Vyper · 38 commands · 19 agents · 33 skills · 9 MCP servers.
Guilhem-Bonnet / godot-evidence-loopBoucle de preuve Godot via le serveur MCP Fennara : ancrer chaque claim sur des diagnostics éditeur, screenshots, contexte scène et logs runtime réels
MIKUZ12 / exampass将课程资料（PPT/Word/PDF/截图）按章节生成深度知识清单、教授式详细讲解和交互式章节测试，帮助学生高效期末复习。
benjam3n / agskAnalyze and construct arguments by checking logical validity, premise truth, hidden assumptions, and evidence strength. Read and execute `/home/ben/Documents/projects/reasoningtool/claude-code-plugin/skills/agsk/SKILL.md`, applying it to this input: $ARGUMENTS
UserTheo02726 / cherry-mcpCherry Studio 知识库的 MCP 服务，让 AI 客户端可以直接搜索本地知识库。
ayato-labs / LogicHive🛡️ Professional AI Logic Hub: Accumulate, verify, and reuse high-quality code assets via MCP. Built for kill liberation from mundane tasks likes code copy & remenber logic.
Nlkomaru / 00_basicユーザーはClaudeよりプログラミングが得意ですが、時短のためにClaudeにコーディングを依頼しています。 2回以上連続でテストを失敗した時は、現在の状況を整理して、一緒に解決方法を考えます。 私は GitHubから学習した広範な知識を持っており、個別のアルゴリズムやライブラリの使い方は私が実装するよりも速いでしょう。ユーザーに説明しながらコードを書きます。
nikkoxgonzales / crash-mcpMCP server for structured and efficient reasoning with step validation, branching, and revisions.
angrysky56 / mcp-logicFully functional AI Logic Calculator utilizing Prover9/Mace4 via Python based Model Context Protocol (MCP-Server)- tool for Windows, Linux, Claude App etc
emiliaprotocol / emilia-protocolConsequence firewall for machine actions. EMILIA Gate verifies exact authority before money, code, permissions, infrastructure, or regulated state changes; the open protocol makes the evidence independently verifiable.
nimiusrd / business_logicビジネスロジックの実装方法とテスト方法に関するガイドライン
benhaotang / mcp-mma-docsMCP server for checking Mathematica documentation via local MMA installation
Zenobia000 / auto-triz-x1c01Auto-TRIZ closed-loop reasoning framework for e-bike drive unit technical contradiction resolution
ThisIsLittleSky / WaterPaper水论文skill一句话出论文：多角度选题、真实文献采集、大纲写作、降低AIGC率、降低重复率、绘制图表、DOCX交付
luochang212 / agent-projectAgent 早期探索：智能路由、任务拆解和链路工程
bojieli / ai-agent-book《深入理解 AI Agent：设计原理与工程实践》（李博杰 著）开源主仓库：全书正文、编译版 PDF 与按章配套代码
benjam3n / biUnbounded inquiry cannot terminate - every answer opens new questions.. Read and execute `/home/ben/Documents/projects/reasoningtool/claude-code-plugin/skills/bi/SKILL.md`, applying it to this input: $ARGUMENTS
torrentclaw / torrentclaw-mcpThe official MCP by TorrentClaw.com
xiongqi123123 / awesome-rebuttalGlobal-installable, project-level academic rebuttal strategy skill for AI/ML/CV/NLP/Robotics papers
