agenticsnz/unsorry

0

/ 100

Documentation78
Engineering66
Health100
Lean29Apache-2.01d ago
Grade a repo

Strong early engineering with some momentum.

Autonomous agents proving theorems in Lean 4 - SETI@Home but for maths proofs using LLMs. Git is the queue, the kernel is the gate, no sorry survives.

Documentation

78

Install and run instructions9pt45

No install instructions found in the README (−45 pts).

→ Add a section showing how to install dependencies.

Contributing guide5pt80

Contributing guide is detailed and thorough.

README12pt90

README is present.

License6pt100

Licensed under Apache-2.0.

Engineering

66

Linting and formatting5pt0

No linter or formatter config found.

→ Add a linter config such as .eslintrc.json, .prettierrc, ruff.toml, or .golangci.yml to enforce consistent code style.

CI/CD14pt57

CI is configured (.github/workflows/agent-lint.yml).

Reproducibility6pt70

Lockfile present (tools/llm_providers/requirements.txt). Installs are reproducible.

Tests18pt80

Test files detected (tools/adr_index/tests).

Issue and PR templates6pt100

Issue or PR templates present.

Project health

100

Dependency manifest6pt100

Dependency manifest found (tools/llm_providers/requirements.txt).

Repository metadata5pt100

Repository has a description.

Activity5pt100

Actively maintained (pushed within the last month).

Housekeeping3pt100

.gitignore present.

Repository health signals

Activity, community, and responsiveness at scan time

Activity

  • —
    Commits (30d / 90d)
  • 10
    Forks
  • 45
    Releaseslatest 12d ago

Community

  • —
    Community health
  • —
    authors own >50% of commits
  • 29
    Watchers

Responsiveness

  • 2h
    Median issue response
  • <1h
    Median PR merge time
  • 25
    Open issues
Repository files28 root entries
  • _layouts
  • .github
    Good: CI is configured (.github/workflows/agent-lint.yml).
    Good: Issue or PR templates present.
  • AuditFixtures
  • AxiomAudit
  • backlog
  • changelog.d
  • claims
  • decompositions
  • docs
  • goals
  • library
  • packages
  • proof-runs
  • Skills
  • swarm
  • tickets
  • tools
    Good: Test files detected (tools/adr_index/tests).
    Good: Lockfile present (tools/llm_providers/requirements.txt). Installs are reproducible.
    Good: Dependency manifest found (tools/llm_providers/requirements.txt).
  • translations
  • .gitignore
    Good: .gitignore present.
  • CHANGELOG.md
  • CLAUDE.md
  • CNAME
  • CONTRIBUTING.md
    Good: Contributing guide is detailed and thorough.
    Issue: Contributing guide lacks a setup section (−12 pts).Fix: Show new contributors how to get a local dev environment running.
    Issue: Contributing guide lacks a code style section (−8 pts).Fix: Describe your linting/formatting rules and how to run them.
    Good: Contributing guide explains how to run tests.
    Good: Contributing guide describes the PR/review workflow.
    Good: Contributing guide includes code examples.
  • lake-manifest.json
  • lakefile.toml
  • lean-toolchain
  • LICENSE
    Good: Licensed under Apache-2.0.
  • README.md
    Good: README is present.
    Good: README is well structured with multiple sections.
    Good: README includes screenshots or visuals. Great for first impressions.
    Good: README has code examples.
    Good: README links to a live demo or deployed app.
    Issue: No status badges in the README (−10 pts).Fix: Add CI/build status badges from shields.io or your CI provider to signal project health.
    Issue: No install instructions found in the README (−45 pts).Fix: Add a section showing how to install dependencies.
    Good: README documents how to run the project.