Results for lean-agentic

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

Scaffold context-lean Agentic Repo Harness v2 workspaces.

Attach virtuals to the results of mongoose queries when using `.lean()`

Production-ready AI agent orchestration platform with 66 specialized agents, 213 MCP tools, ReasoningBank learning memory, and autonomous multi-agent swarms. Built by @ruvnet with Claude Agent SDK, neural networks, memory persistence, GitHub integration,

Attach defaults to the results of mongoose queries when using `.lean()`

Apply getters to the results of mongoose queries when using `.lean()`

Cloud and zero-trust agentic workflow marketplace for skills, agents, rules, MCP references, and compliance-aware architecture.

Server & Client SDK for Agent2Agent protocol

React Native Network Info API for iOS & Android

A lean Promises and Async lib for ES6/ES7

Lean Incremental Merkle tree implementation in TypeScript.

React Native Picker for iOS, Android, macOS, and Windows

React Native Clipboard API for macOS, iOS, Android, and Windows

minimal QR code generation

Agentic AI utils which work with any LLM and TypeScript AI SDK.

Bootstrap and audit AGENTS.md, ARCHITECTURE.md, ADRs, skills, and subagents for engineering production code with LLMs

Lightdash CLI tool

Agentic adapter for the Vercel AI SDK.

React Native wrapper for Android and iOS ViewPager

Small agentic loop

React Native Camera Roll for iOS & Android

Agentic SDK for People Data Labs.

Lean Incremental Merkle tree implementation in TypeScript.

Agentic SDK for the Exa search engine.