skills/parcadei__continuous-claude-v3
1
0
Fork 0
mirror of https://github.com/parcadei/Continuous-Claude-v3.git synced 2026-09-14 20:06:55 +08:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
parcadei__continuous-claude-v3/proofs
T
History
parcadei f8d7173d9e Initial release: Continuous Claude v3 
A persistent, learning, multi-agent development environment built on Claude Code.

Features:
- 109 skills, 32 agents, 30 hooks
- TLDR 5-layer code analysis (95% token savings)
- Memory system with PostgreSQL + pgvector
- Continuity ledgers and YAML handoffs
- Math system (SymPy, Z3, Pint, Lean4)
- Meta-skill workflows (/build, /fix, /explore) with modes and flags

Co-Authored-By: Claude Opus 4.5 <noreply@anthropic.com>
2026-01-10 01:54:24 +00:00
..
Proofs
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
category_test.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_api.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_axioms_monsky.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_axioms_new.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_axioms.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_dvd.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_lemmas2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_lemmas3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_lemmas4.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_lemmas5.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_lemmas.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_padic2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_padic.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_sdiff.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
check_sig.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
explore_kelly.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
explore_orth.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
fix_apis2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
fix_apis.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
lake-manifest.json
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
lakefile.toml
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
lean-toolchain
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
mathlib_test.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
mistake_test.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
nat_add_zero.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
nat_trans_test.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
p_squared_abelian.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
Proofs.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
PSqAbelian.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_apis2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_apis3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_apis4.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_apis5.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_apis6.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_apis.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_infDist.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_lemmas.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_mathlib2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_mathlib3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_mathlib4.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_mathlib5.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_mathlib.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_more.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_pow2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_pow3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_pow.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
search_triangle.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_area_approach.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_area_formula.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast4.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast5.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast6.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast7.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast8.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast9.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast10.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast11.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast12.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cast.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_center.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_clean.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_col_helper2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_col_helper.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_collinear_affine2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_collinear_affine3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_collinear_affine.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_collinear_search.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_coord2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_coord3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_coord.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_cyc2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_direct_proof.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_hook.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_kelly_geometry.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_monsky_examples.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair4.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair5.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair6.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair7.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair8.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair9.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pair.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pythag_approach.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_pythag.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_seg2.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_seg3.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_seg4.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_seg.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_simple.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_v2_constraint.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
test_wbtw.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
wedderburn_from_scratch.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00
wedderburn_little.lean
Initial release: Continuous Claude v3
2026-01-10 01:54:24 +00:00