1. Conduid
  2. Blockchain
  3. Elenchus
MCP server · Blockchain

Elenchus

by · github.com/m62624/elenchus

Tiny consistency checker for LLM reasoning. State facts and first principles in a small English-like DSL; a three-valued SAT engine finds where they contradict — consistency, not truth. Simplified SAT, not SMT — small enough for local LLMs, useful for any. Beta.

Unclaimed ai-slopllm-toolslocal-llm-agentlocally-generatedmcprustrust-clirust-librarysatsat-solvervibe-coded
InstallView source
34Low

Scored 28 days ago · breakdown

About Elenchus

Elenchus is an MCP server published by m62624 in the Blockchain category: tiny consistency checker for LLM reasoning. State facts and first principles in a small English-like DSL; a three-valued SAT engine finds where they contradict — consistency, not truth. Simplified SAT, not SMT — small enough for local LLMs, useful for any. Beta.

Recent commit activity is the strongest signal that reported issues will get attention.

Install

From source
git clone https://github.com/m62624/elenchus

This server has no ConduID identity, so agent calls to it are not receipted. Pin the version you install and review the source before granting it credentials.

Ask AI

✦

Ask AI about Elenchus

Powered by Claude · Grounded in docs

I know everything about Elenchus. Ask me about installation, configuration, usage, or troubleshooting.

Security checks

6 checks have not been run yet.

Releases

v0.15.1v0.15.1 · 17 Jul 2026What's Changed Bug Fixes fix(wasm): strip the CLI/MCP "Run it" appendix from the wasm skill by @m62624 in https://github.com/m62624/elenchus/pull/73 Maintenance ci: add mirror-tangled workflow by @m62624 in…
v0.15.0v0.15.0 · 4 Jul 2026What's Changed Other Changes feat!: proof kernel — PROVE, HENCE, MENTIONED, TOTAL, TRY FOR, PREFERS by @m62624 in https://github.com/m62624/elenchus/pull/69 Full Changelog**: https://github.com/m62624/elenchus/compare/v0.14.0...v0.15.0…
v0.14.0v0.14.0 · 3 Jul 2026What's Changed New Features feat(compiler): two-phase multi-file compile by @m62624 in https://github.com/m62624/elenchus/pull/67 Full Changelog**: https://github.com/m62624/elenchus/compare/v0.13.0...v0.14.0 elenchus-cli 0.14.0 Install…
v0.13.0v0.13.0 · 3 Jul 2026What's Changed Breaking Changes feat!: Implement existential quantifiers, defeasible defaults, and epistemic logic by @m62624 in https://github.com/m62624/elenchus/pull/64 Documentation docs(readmes): add --max-conflicts / max_conflicts to…
v0.12.0v0.12.0 · 30 Jun 2026What's Changed New Features feat(lang): closure family, EXISTS, and a per-keyword cost model in SPEC by @m62624 in https://github.com/m62624/elenchus/pull/49 Refactoring refactor: split lib.rs into focused modules by @m62624 in…
Questions

About Elenchus

How do I install Elenchus?

No package has been published for this server, so install it from source: clone the repository and follow its README.

Is Elenchus safe to use with an AI agent?

Its trust score is 34 out of 100 (low). Conduid hasn't run static security checks on this repository yet, so review the source yourself before granting it credentials. It has no ConduID identity yet, so agent calls to it are not receipted.

Is Elenchus still maintained?

Yes — the latest release is v0.15.1 (17 Jul 2026), and the last commit was 3 months ago. The repository has 0 stars.