lean-agentic

MCP server · npm · ★ 61 · graded 2026-10-24Source linked

High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic

No outside reports on file

lean-agentic is distributed via npm (lean-agentic); review its source code, dependencies, and requested permissions before use.

Based on public adoption and transparency signals as of Oct 23, 2026. Our opinion, not a code audit or security guarantee.

Was this verdict for Lean Agentic helpful?

What it can access

Local filesNo local folder access notedLOW
Command executionRuns shell or system commandsREVIEW
Network reachConnects to outside service APINOTED
CredentialsNo API token requiredLOW
Package sourcenpm (lean-agentic)PUBLIC

Inferred from this listing’s public package details and description. Check the project’s source before installing.

Install

npx -y lean-agentic

All setup options ↓

Check this skill Watch it in my stack Compare Add to allowlist README badge View project

About Lean Agentic

Lean Agentic is an MCP server focused on Developer tools and Data & databases: High-performance WebAssembly theorem prover with dependent types, hash-consing (150x faster), Ed25519 proof signatures, MCP support for Claude Code, AgentDB vector search, episodic memory, and ReasoningBank learning. Formal verification with cryptographic.

It is published on npm as lean-agentic and hosted on GitHub at agenticsorg/lean-agentic (61 GitHub stars, 36 weekly npm downloads, last repository push on 2025-10-25). Based on its public metadata, it operates with standard local or API scope without broad shell execution flags noted.

Setup

Check these steps against the project’s own instructions before running anything.

Run lean-agentic with --ignore-scripts in claude_desktop_config.json or .cursor/mcp.json:

json

{
  "mcpServers": {
    "lean-agentic": {
      "command": "npx",
      "args": ["-y", "--ignore-scripts", "lean-agentic"]
    }
  }
}

Why this grade

CC — Moderate risk signals

Signal-based grade (2/7 points): public source code. This reflects adoption and transparency, not a code review.

Popularity and upkeep

33/100

GitHub stars: 61
Weekly npm downloads: 80
Listing last refreshed: 2026-10-28

These are public popularity signals, not a maintenance check. Look at the repository’s commit history and open issues.

Security reports

No reports found for this package in our research (last checked 2026-10-29).

Check a specific version →

Risks to watch for

Dependency & version pinning: Distributed via npm (lean-agentic). Pin an exact release version or commit SHA rather than floating tags so upstream updates are reviewed first.

How to lower the risk

Least-privilege permissions

Give it access only to the specific folders, accounts or projects it needs, never your whole drive or admin account.
Use a separate, limited API key or login just for this tool so you can switch it off without affecting anything else.

Network isolation

Run it on a work computer or sandbox account, not one holding personal or company-sensitive data.
If your IT team can, limit which websites and services it is allowed to contact.

Monitoring

Check its activity history or logs weekly at first, and look at what it changed or sent.
Turn on alerts for new logins or unusual usage on any account it connects to.

Red flags to watch for

It asks for more access than its job requires, or prompts you to paste passwords.
It suddenly updates with new owners, or starts contacting unfamiliar websites.

Questions

How do I install Lean Agentic?

Run npx -y lean-agentic in your terminal, or add the server entry to your claude_desktop_config.json or .cursor/mcp.json as shown in the Setup section on this page. Full setup docs and environment variables are in github.com/agenticsorg/lean-agentic.

Are there security reports about Lean Agentic?

No reports found for this package in our research (last checked 2026-10-29). Lean Agentic currently holds Grade C (Moderate risk signals) based on public adoption and transparency signals. Key risk areas to watch include dependency & version pinning:.

Is Lean Agentic actively maintained?

Lean Agentic has 61 GitHub stars and 80 weekly npm downloads, with its latest repository commit pushed on 2025-10-25. Our directory data was last refreshed on 2026-10-28. Check recent commit activity, release tags, and open issues at github.com/agenticsorg/lean-agentic before pinning it in production.

What are alternatives to Lean Agentic?

You can compare Lean Agentic side by side with other Search, Memory MCP servers in the Related tools section on this page, or use the Compare tool on AgentArmorHQ.

Maintain or use Lean Agentic? Show its live grade in your GitHub README, docs site, or run a check from the terminal before you install.

AgentArmorHQ Risk Grade C for Lean Agentic

GitHub README Markdown:

markdown

[![AgentArmorHQ Risk Grade for Lean Agentic](https://agentarmorhq.com/api/badge/agenticsorg-lean-agentic)](https://agentarmorhq.com/skills/agenticsorg-lean-agentic)

HTML embed:

html

<a href="https://agentarmorhq.com/skills/agenticsorg-lean-agentic"><img src="https://agentarmorhq.com/api/badge/agenticsorg-lean-agentic" alt="AgentArmorHQ Risk Grade for Lean Agentic" height="20" /></a>

Terminal check:

terminal

curl -fsSL https://agentarmorhq.com/api/cli | node --input-type=module - check "agenticsorg-lean-agentic"

Share with your security lead

Need sign-off to use lean-agentic? Copy this note for Slack, a ticket or a pull request.

### AgentArmorHQ Security Review Memo: lean-agentic
- **Listing URL:** https://agentarmorhq.com/skills/agenticsorg-lean-agentic
- **Type:** App connector
- **Risk Grade:** Grade C (Moderate risk signals)
- **Outside Security Advisories on File:** 0
- **Public Adoption:** 61 GitHub stars, 80 weekly npm downloads

#### Permission & Blast-Radius Signals
- **Local files:** No local folder access noted
- **Command execution:** Runs shell or system commands
- **Network reach:** Connects to outside service API
- **Credentials:** No API token required
- **Package source:** npm (lean-agentic)

#### Recommended Hardened Setup
- **Command:** `npx -y --ignore-scripts lean-agentic`
- **Controls:** Pin an exact version in `.mcp.json`, scope access to a single workspace folder, and use a least-privilege read-only token where supported.

_Based on public adoption and transparency signals as of Oct 23, 2026. Our opinion, not a code audit or security guarantee._

Key facts

Type: App connector
Publisher: agenticsorg
Source code: github.com/agenticsorg/lean-agentic
Install command: npm install lean-agentic
Est. context load: ~750 tokens / turn (~4 tool schemas, 0.38% of 200k context)
Popularity: 61 GitHub stars, 80 weekly npm downloads
Last updated: 2026-10-28
Last graded: 2026-10-24

Community

Discussions for Lean Agentic

Ask questions or share configuration tips. Governed by our Community Rules & Terms.

No posts match this filter yet.

Be the first to ask a question or share a working tip.

Was this listing for Lean Agentic helpful?

Check before you install, in Claude

Your assistant answers Block, Review or No known issues for any package before it installs it.

Get this check inside Claude