# Project export: ProofReader.AI

This document was generated by HackStack to give an AI agent context about a hackathon project. Sections are labeled with their provenance; content marked as truncated was cut to keep this document small.

## Project metadata

- Hackathon: Cal Hacks 12.0
- Tagline: Bothered by inconsistent and slow responses to your difficult math proofs? Meet ProofReader.ai, an AI grader that leaves in-line comments and the ability to interact with the comments in real-time.
- Devpost: https://devpost.com/software/proofreader-ai
- GitHub: not linked
- Team: contributor stats unavailable

## Devpost submission (written by the team)

### Inspiration

Since our team all takes a proof based math class, a common occurrence we saw with classmates and ourselves is improper help on these strenuous proofs. That’s why we wanted to make a grader that gives proper feedback for these proofs and helps students understand what they are actually doing.

### What it does

Our proof grader gives you comments on your mathematical proof and these are in line comments that are trackable. You are also able to chat with these comments and have a conversation, showing where you went wrong and understanding it better.

### How we built it

using Python and Claude

### Challenges we ran into

Debugging our initial code

### Accomplishments we're proud of

Having in line trackable comments and the ability to then chat and ask questions on those comments.

### What we learned

How to deal with difficult situations.

### What's next

Making an app, applying to YC

## README (from the GitHub repository)

No README available.

## Detected evidence (automated analysis)

No repository was indexed for this project. Claimed technologies below could not be checked against code.
- Python (language) — claimed on Devpost, not found in the code

## Codebase structure

No repository index available.

## Key source files

No repository index available; no source files included.