math-skill monotykamary · COMPLETED
Research-partner skill for deriving mathematics: falsifiable conjectures before explanations, complete proofs, a journal of claims, and Lean 4 as the verifier. Includes a mathlib sandbox and seven reference cases from EWMA to K41 turbulence.
github.com/monotykamary/math-skill · ★ 2 · Forks 0 · Size 8.0 MB
SUMMARY
Technologies 5
Scored 5
Observed 5
Practices 6
Evidence 5
Skips 0
COVERAGE
Analyzed 73 files · 20 commits · 0 API calls
TECHNOLOGIES & DEPTH
JSON LANGUAGE Depth 70
1 files · PRODUCTION
Markdown LANGUAGE Depth 70
22 files · PRODUCTION
TOML LANGUAGE Depth 70
1 files · PRODUCTION
YAML LANGUAGE Depth 70
1 files · PRODUCTION
Python LANGUAGE Depth 70
10 files · PRODUCTION
PRACTICES
documentation · observedautomated_tests · observedcontinuous_integration · absentcontainerization · absentlinting · absentformatting · absent
ACTIVITY & OWNERSHIP
First commit 2026-08-20
Last commit 2026-10-07
Active months 3
Commits 20