Skip to content
InfratoApp
InfratoApp / Resources / MCP servers / Lians

Lians

Lians is an MCP server. Its repository has 16 GitHub stars and is licensed under Apache-2.0; we last read it on 2026-10-22.

Lians runs real checks and binds results to the current Git state, providing evidence-backed proof of done for Claude Code, Codex, and Cursor AI coding agents, and other compatible systems. It requires no specific credentials.

Install

Read from Lians’s own README, close to verbatim -- not written by us, and not guessed.

codex mcp add lians --env LIANS_MCP_ENABLED_TOOLS=remember,recall,list_memories,correct_memory,forget_memory -- uvx --from "lians-sdk[mcp]" lians-mcp

What it reaches, and what it needs

Reaches
○ not recognised
Credential
○ none found

What it connects to

Supported in
Claude Code, Cursor

Unverified means a mention in the server’s own description, not a citation. A wrong claim here costs nothing to correct and nothing to trust yet.

Maintenance

Stars
16
State
listed
Licence
Apache-2.0
From the repository

Evidence-backed proof of done for Claude Code, Codex, Cursor, and other AI coding agents. Run real checks, bind results to current Git state, and know what is ready for human review.

Common questions about Lians

What does Lians do?
Lians runs real checks and binds results to the current Git state, providing evidence-backed proof of done for Claude Code, Codex, and Cursor AI coding agents, and other compatible systems. It requires no specific credentials.
How do I install Lians?
Its own README gives this command: codex mcp add lians --env LIANS_MCP_ENABLED_TOOLS=remember,recall,list_memories,correct_memory,forget_memory -- uvx --from "lians-sdk[mcp]" lians-mcp. Run it where your MCP client can launch the server, and check the README for any settings it asks for.
Which AI clients can use Lians?
Its own description mentions Claude Code and Cursor. That is a mention in its description, not a test we ran.
Is Lians official and is it maintained?
We found nothing naming it as a vendor’s official server. Its repository has 16 GitHub stars and its state in our directory is listed. Its last commit we recorded was on 2026-10-19.
What licence does Lians use?
The repository declares the Apache-2.0 licence.

Learn this on Infrato