使用AIコーディングツール
このリポジトリには以下のAIコーディングツールの設定ファイルが置かれており、開発時にAIアシスタントが利用された痕跡があります。
GitHub Topics
使用言語(バイト数比)
AI関連と判定した根拠
AI関連スコアは4つの箇所それぞれにAI関連キーワードが現れるかを判定し、該当した配点を合計したものです。 算出方法の詳細
合計 AI関連スコア: 60 / 100
同じ言語のAI関連Repoの中での位置
当サイトが追跡している Lean 製Repoは 9件 (うちAI関連スコア40以上は 6件)。 このRepoより スター数が多いのは 3件 (上位 44.4%)、 AI関連スコアが高いのは 0件 (上位 11.1%) です。
オーナー情報
AI agent engineer
日付
| GitHub作成日 | 2026-08-11 |
| 最終Push | 2026-08-26 |
| 当サイト初検出 | 2026-08-11 |
| 最終取得 | 2026-10-12 16:23 |
類似Repo (同じ言語のAI関連Repo)
AI-assisted Lean formalization for Economics and Computation research
zhangyuetong/smooth-tight-nonrigidityThis presents a AI counterexample to a classical problem in differential geometry: are smooth tight surfaces rigid (in the sense that isometry implies Euclidean congruence)? It constructs a band foliated by asymptotic lines, and then uses this to create a torus that allows a pain (in fact infinitely many) of isometric but noncongruent examples.
jphme/math-problemsSolutions to open mathematical problems, produced with substantial help from AI systems — papers plus the programs to check them.
gsaco/ai-06-restrepoGabriel Saco.
meta-introspector/lean-workers-unionA registry and coordination layer for Lean workers and Choir members, enabling role-based membership and formal verification of agent state.