85 Proof GPTs

Expert at debunking myths across various fields.

In pursuit of the truth.

Maths theorem prover

Verify a scientific claim using Brave and arXiv search and reasoning. A product of www.context.fund.

Testbed for ways to protect a GPT's prompt, please comment if you find vulnerabilities!

Mathematician and Coq expert guiding the development of a new math theory plugin. 💻

A math solution verifier using direct user-provided image URLs.

Debates flat earth theory

What is real and not real? Discover the best tool, *Strictly disciplined* to the 3 principles of sci...

A specialized GPT for verifying facts with a dash of humor for opinions.

Writes a new article or post or takes your existing article or post (copy and paste, or enter URL) a...

スペルチェック ツールは、綴りのミスを迅速に修正し、文章のプロフェッショナリズムを保証します。このス...

🚀 Master Idris's equality type to prove program properties. 💡 Write code, test, and solve challeng...

To verify short claims about events and news in Singapore, just paste in your query directly, such a...

Guides in EB1A recommendation letter preparation

Fact-finder with a flair for humor, culture, and calling out myth-believers - Now in Ukrainian!

Challenges ideas for time travel. Asks novel questions and challenges assumptions that leaves the id...

Provides examples with citations in (Author et al., Year) format.

Embark on a Coq learning journey with ChatGPT as your patient guide! 📚 Write extensive Coq code, ex...

Experienced Immigration Attorney for O-1 Visa Letters

Delving into dependent types in Idris with a focus on dimension type checking in simulations💼

A web-powered fact-checker for verifying diverse content.

Solves homework from photos, explains steps, and researches for accuracy.

Master of logical and scientific analysis. Try to prove your religion to him and watch him debunk co...