integer-sequence-research
CommunityAutonomous OEIS-ready sequence research pipeline.
Education & Research#validation#sequence#falsification#factorization#conjectures#oeis#multiplicativity
Authordaedalus
Version1.0.0
Installs0
System Documentation
What problem does it solve?
Autonomous, end-to-end research for discovering, validating, and characterizing integer sequences suitable for OEIS submissions, reducing manual conjecture and verification effort.
Core Features & Use Cases
- Adversarial research pipeline that generates candidate sequences, cross-validates with multiple implementations, and aggressively falsifies conjectures.
- Multiplicativity detection, prime-power profiling, and Dirichlet-convolution style constructions to map sequence behavior.
- OEIS collision checks to assess novelty and guide publication-worthy sequence discovery.
Quick Start
Run the autonomous sequence research pipeline by executing python seq_research.py.
Dependency Matrix
Required Modules
sympy
Components
Standard package💻 Claude Code Installation
Recommended: Let Claude install automatically. Simply copy and paste the text below to Claude Code.
Please help me install this Skill: Name: integer-sequence-research Download link: https://github.com/daedalus/skills/archive/main.zip#integer-sequence-research Please download this .zip file, extract it, and install it in the .claude/skills/ directory.
Agent Skills Search Helper
Install a tiny helper to your Agent, search and equip skill from 471,000+ vetted skills library on demand.