Pinned Loading

1. lean4-skills lean4-skills Public

   A suite of skills designed for AI coding agents to autonomously perform formal mathematical proving in Lean 4 and Mathlib (theorem proving, proof search, and error repair) / AIエージェントがLean 4を用いた数学の形…

   Python

2. patto-md patto-md Public

   Instant web publishing platform for local Markdown documents and attachments via drag-and-drop. Built with Cloudflare (Workers/D1/R2) and Astro for zero-cost, edge-native sharing. / ローカルのMarkdown文書…

   TypeScript

3. rocq-ltac-skills rocq-ltac-skills Public

   A suite of skills enabling AI coding agents to autonomously perform program verification, formal semantics proofs, and error repair using Rocq (formerly Coq) and Vanilla Ltac. / AIエージェントがRocq(旧 Coq…

   Python

4. sokuto sokuto Public

   Japanese-optimized local reproduction of TypeSafe Jev (System 1). A zero-generation, non-autoregressive decision engine in Rust & ModernBERT-ja for typed probabilistic decisions in milliseconds. / …

   Python

5. fidelogic-auth fidelogic-auth Public

   A highly reliable authentication framework in which security invariants are not merely tested but mathematically proven using Rocq (Coq) and enforced via a hardened Rust/Wasm core. / Rocq(Coq) を用いて…

   Rocq Prover