```tsx <AutoContext.ParentProps name="logs/props" data={{ ...yourData }}> <AutoContext.ParentState name="user/state" data={null}> <YourComponent /> </AutoContext.ParentState> </AutoContext.ParentProps> ```
Pi package for AutoContext-assisted Erdős-style formal math problem loops with Lean verification.
Experimental Pi package for Lean-verified proof repair using autocontext and Pi.
autocontext extension for Pi coding agent — iterative strategy generation, LLM judging, and evaluation tools
autocontext — always-on agent evaluation harness
Folder-level documentation for LLMs — .context.yaml files for every directory
Array#isArray for older browsers
JSON parse & stringify that supports binary via bops & base64
Run a function exactly one time
CLI arguments parser. Native port of python's argparse.
Get the command from a shebang
ECMAScript AST recursive visitor
Callback wrapping utility
Resolve the path of a module like `require.resolve()` but from a given path
deterministic `JSON.stringify()` - a faster version of substack's json-stable-strigify without jsonify
Allows users to use generators in order to write common functions that can be both sync or async.
Light ECMAScript (JavaScript) Value Notation - human written, concise, typed, flexible
Returns true if a string has an extglob.
Buffers events from a stream until you are ready to handle them.
The Node.js `util.deprecate()` function with browser support
type-check allows you to check the types of JavaScript values at runtime with a Haskell like type syntax.
process.nextTick but always with args
deterministic JSON.stringify() with custom sorting to get deterministic hashes from stringified results, with no public domain dependencies
A small polyfill for Object.setprototypeof