Provide a functionality for program search on a single user provided sequence.

[weightan]

It's a lot of effort to add a sequence to OEIS, and in some cases completely impossible, because of its obscure origins, where you have neither program nor formula.

Local program search, only on the user's computer, would be satisfactory.

[ckrause]

Internal work for mining user-defined seqs has been done already, but the feature is not available in v25.8.24 yet. Will be probably included in the next release.