A language that means business.
Official TypeScript SDK for Lemma pod-scoped APIs
MCP server for Lemma Oracle API
Agent Identity + Authority Credential schema WASM for Lemma circuits
OpenTelemetry-based tracing module for Lemma
Icelandic word form to lemma lookup for browser and Node.js
Drop-in replacement for @x402/* with automatic Lemma discovery and proof submission
Alpheios Lemma Client Library
Intelligent AI Gateway for IDEs & Agents — Semantic cache, Privacy Firewall, and Autonomous Cost-Optimization.
Seal — ZK auth circuit for Lemma dashboard Proof-based sign-in. Proves knowledge of a secret pre-image without revealing the secret or its hash (v2: Poseidon nullifier).
Cadmus - Lexicography lemma part
Persistent memory layer for LLMs via MCP
Highlight.js extension for the LEMMA language.
Natural language query parser for the Lemma protocol. Converts natural language into structured attribute queries using on-device LLM inference via [Transformers.js](https://huggingface.co/docs/transformers.js).
A language that means business. Also in the browser.
Does a Dafny lemma actually mean what a natural language requirement says? Dafny can verify proofs, but it can't verify meaning. Claimcheck fills that gap.
A widget that allows users to passages sharing the selected lemma
simple tool for lookup up word frequency with basic lemma stemming
Experiment runner for Lemma — fetch test cases, run agents, record results
estimate amountsOut for lemmaswap
[](https://www.npmjs.com/package/@lemmaoracle/spec) [](https://www.typescriptlang.org/)
This library is used to connect javascript applications to Ideo's Noam Server. It uses web sockets, which can connect up through firewalls and translation layers.
Pi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
[](https://www.npmjs.com/package/@lemmaoracle/sdk) [](https://www.typescriptlang.org/)
A language that means business.
A modern Lean4 toolchain manager
A language that means business.
A language that means business.
A lemmatizing package for use with a .csv dictionary of lemmas and their corresponding words.
OpenAPI 3.1 specification generator for Lemma specs.
An mdbook preprocessor for automatically numbering theorems, lemmas, etc.
Categorical foundations unifying symplectic mechanics and agent behaviors
Special implementation of Complete Merkle Binary Tree for minimal memory footprint.
A modern CDCL SAT solver in Rust
CKB RPC server
English vocabulary types and compile-time lexicon lookup for logicaffeine
A lemma factory for the Noam pub-sub system.
Extract named entities and lemmas using StanfordCoreNLP (alpha). Assumes that all dependencies are in ~/.stanford-nlp
A specification for representing, dictionary-ready lexical entries and their relationships
Lemmatizer for text in English. Inspired by Python's nltk.corpus.reader.wordnet.morphy package.
Generate a 4 word password from words of size 3-8 characters, with frequencies in the 30th-60th percentile. This range gives a nice set of uncommon but not completely alien words. $ chbs generate --verbose -W 3..8 -P 30..60 Corpus size: 6396 candidate words of 33075 total Entropy: 48 bits (2^48 = 281474976710656) Years to guess at 1000 guesses/sec: 8926 magnate-thermal-sandbank-augur With the --verbose flag, the utility will calculate a time-to-guess based on a completely arbitrary 1000 guesses/sec. If you'd like a more secure password, either relax the various filtering rules (-W and -P), add more words to the password, or use a larger corpus. By default we use the American TV Shows & Scripts corpus taken from Wiktionary. Others provided: * Project Gutenberg 2005 corpus taken from Wiktionary. * 1 of every 7 of the top 60000 lemmas from wordfrequency.info (6900 actual lemmas after processing) See http://xkcd.com/936/ for the genesis of the idea. Data sources: http://en.wiktionary.org/wiki/Wiktionary:Frequency_lists http://wordfrequency.info/
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.
No description provided.