Главная · Тег
Доказательства
Доказательства в экосистеме Claude Code: 15 инструментов — 2 скилла, 10 MCP-серверов, 3 плагина. Популярные: Witness Ruvnet RuFlo, писатель доказательств WanShuiYin, Lean 4. У каждого — описание на русском, команда установки и ссылка на исходники.
witness — Witness Ruvnet RuFlo
ruvnet/ruflo
Witness (свидетель/верификация).
proof-writer — писатель доказательств WanShuiYin
wanshuiyin/auto-claude-code-research-in-sleep
Писатель математических доказательств.
Beneficial-AI-Foundation/lean4-claude-plugin — Lean 4
Beneficial-AI-Foundation/lean4-claude-plugin
Плагин Claude Code для языка доказательств Lean 4.
Proof Layer — Proof Layer
world-999-labs/proof-layer
MCP-сервер Proof Layer (верификация).
ProofFlow — ProofFlow
io.github.hyperion-gpu/proofflow
MCP-сервер ProofFlow (верификация/доказательства).
ProofStream — ProofStream
io.github.proofstreamai/proofstream-mcp
MCP-сервер ProofStream (верификация).
Proofof Ai Mcp — ProofOf (AI)
csoai-org/proofof-ai-mcp
MCP-сервер ProofOf (подтверждения).
Prover — Prover
com.axiomatic-ai/prover
MCP-сервер Prover (формальная верификация).
Zkevidenceoracle — ZK Evidence Oracle
tooloracle/zkevidenceoracle
MCP-сервер ZK Evidence Oracle (доказательства с нулевым разглашением).
witness-protocol — Witness Protocol
delx/witness-protocol
MCP-сервер Witness Protocol (верификация).
witness-protocol — Witness Protocol
delx/witness-protocol-f8f032d0
MCP-сервер Witness Protocol (верификация).
xProof — xProof
jasonxkensei/xproof
MCP-сервер xProof (верификация/доказательства).
cameronfreer/lean4-skills — Lean 4 Skills
cameronfreer/lean4-skills
Набор скиллов Lean 4 для Claude Code.
leanprover/skills — скиллы Lean
leanprover/skills
Набор скиллов Lean (доказательства) для Claude Code.
Lean LSP — Lean LSP
ooo0ooo/lean-lsp-mcp
MCP-сервер Lean LSP (доказательство теорем).