13 Commits

Author	SHA1	Message	Date
Aditya Gupta	30ee7f9e8d	Merge remote-tracking branch 'origin/master' into master and resolve conflicts	2026-07-11 16:38:39 +05:30
Aditya Gupta	a5fa43e2e6	feat(memory): Implemented tier two memory retrieval using cognition model	2026-07-11 13:57:27 +05:30
Aditya Gupta	7df685365e	refactor(llm): Unify auto-bootstrapped prover instances and custom instances	2026-07-10 22:27:24 +05:30
Aditya Gupta	f88cc4efb4	docs: Improve Illustrations	2026-07-10 13:42:04 +05:30
Aditya Gupta	185e68b541	feat: Added OpenRouter LLMProvider and setup bootstrapping	2026-07-10 07:59:31 +05:30
Aditya Gupta	b36517e5f3	Add files via upload	2026-07-10 07:44:14 +05:30
Aditya Gupta	fd377e8794	Add files via upload	2026-07-09 20:53:30 +05:30
Aditya Gupta	cc9d0006e5	docs: Added documentation for LLMProviders and named instances	2026-07-09 19:35:18 +05:30
Aditya Gupta	0c59756c08	refactor: Move cli package to apps/cli	2026-07-09 13:17:29 +05:30
Aditya Gupta	be076d81e5	MAJOR: Removed old scenario builder and moved scenario loader into packages/scenario	2026-07-09 13:09:05 +05:30
Aditya Gupta	3da043952c	feat: Added Alias Resolver DeltaGenerator	2026-07-09 09:26:56 +05:30
Aditya Gupta	17c5b95f3b	update: docs	2026-07-09 05:07:25 +05:30
Aditya Gupta	d9940a036a	docs: Migrated to astro v7 for live docs	2026-07-09 04:53:00 +05:30