chiasmus

让 AI 的代码和推理通过形式化验证，杜绝逻辑漏洞

开源 🏷️完全免费 🔧 仅开源项目，无在线服务，需自行部署 办公效率 🍴 复刻 13 🐛 待处理 3 👀 关注 1
GitHub ↗
GitHub 星标 ★ 218
维护状态 较活跃
是否开源 开源
定价模式 🏷️完全免费 开源项目，Apache-2.0 许可证，可自由使用，无付费版本。

项目预览

chiasmus 项目界面预览图
图片来源：GitHub 官方仓库名片

项目数据

分类办公效率
开发团队yogthos
GitHubhttps://github.com/yogthos/chiasmus
定价模式🏷️完全免费
价格说明开源项目，Apache-2.0 许可证，可自由使用，无付费版本。
访问状态🔧 仅开源项目，无在线服务，需自行部署
是否开源是
开源协议Apache-2.0
主要语言TypeScript
技术栈/模型ai-agents,ai-assistant,ai-tools,formalmethods,llm,mcp,mcp-server,prolog,z3-smt-solver
GitHub 星标★ 218
上线时间2026-04-07 00:00:00
代码更新2026-10-18
仓库体积1020 KB
本站数据更新2026-11-10
维护状态较活跃
收录时间2026-08-09
浏览次数4

项目介绍

Chiasmus 是一个 MCP（模型上下文协议）服务器，为大型语言模型提供形式化验证的能力。它解决了 LLM 在生成代码或逻辑推理时缺乏严格数学保证的问题，允许模型通过工具调用与形式化验证工具（如证明助手）交互，从而验证代码或逻辑命题的正确性。项目基于 TypeScript 构建，通过 MCP 协议将验证功能封装为可调用的工具，使 AI 能自动进行定理证明、属性检查等任务。其核心能力包括：连接验证后端、提交验证任务、获取验证结果，并支持多种验证策略。目前处于早期阶段，星标数 207，但为 AI 安全与可靠性提供了新的基础设施方向。

Star 增长趋势

本站每日记录该项目 GitHub 星标变化，观测越久曲线越完整

数据来源：GitHub API 逐日快照 · 收录于 2026-08-09 · 当前星标 ★ 218

核心亮点

  • 为 LLM 提供严格的数学验证能力，弥补生成内容不可靠的短板
  • 基于 MCP 标准协议，易于集成到现有 AI 工具链
  • TypeScript 实现，对开发者友好，可扩展性强

不足之处

  • 早期项目，文档和社区生态尚不成熟
  • 验证能力受限于后端工具，实际效果待验证

适用场景

  • AI 生成智能合约代码时进行安全验证
  • 辅助数学定理的自动证明
  • 在 CI/CD 中集成 AI 代码审查，验证逻辑正确性

替代项目

Lean Copilot、Isabelle/HOL、Coq

上一篇：awesome-openclaw-tips

下一篇：bear-notes-mcp

同类项目推荐

atlas-agent-control-plane 开源

让智能体每一步都有据可查、断了能续跑

AtlasAgent - an auditable AI agent control plane: evidence-backed memory, governed t···

★ 99 2026-09-12
freeact 开源

让AI直接写代码干活，不用再一个个接工具

General-purpose AI agent that acts via code actions through a unified execution inte···

★ 131 2026-08-09
EpicStaff 开源

拖拽搭建 AI 智能体流程，自托管更安心

Source-available, self-hosted platform for building AI agent flows - visual editor o···

★ 358 2026-08-09
AppGenesisForge 开源

给 Claude Code 装上 19 个角色，让 AI 团队按流程协作，代码质量有保障。

AI Agent Team scaffold for Claude Code — 19 roles collaborate through stage gates, ···

★ 414 2026-08-09
wife 开源

让AI编程助手记住你，告别每天重新自我介绍

Local-first, evidence-aware memory and project continuity for AI coding agents. Chec···

★ 69 2026-08-09
LobsterAI 开源

让 AI 直接操作你的电脑，聊天软件就能指挥它干活

Open-source, desktop-grade AI agent that gets real work done — data analysis, slide···

★ 6176 2026-08-09
RongxinAI 开源

聊天软件里发句话，桌面 AI 帮你操作电脑干活

Open-source desktop AI agent: built-in free model, local GGUF models via llama.cpp, ···

★ 162 2026-10-21
liliumai 开源

让 AI 直接操控你的电脑和聊天工具

Lilium AI: The ultimate personal AI agent framework for autonomous computer control.···

★ 93 2026-08-09