Simple counts.
Clear choices.

AgentLemma is an independent project created and maintained by Yassir Laaouach. Its public catalogue can be browsed without an account.

Activity counts

The explorer records catalogue views, searches, result opens, proof-scope views, checking-instruction views, paper and proof/source reader loads, paper and source link clicks, and successful copies of commands or result links. Events include their date, an indexed result ID where relevant, a broad referral channel, and a country code supplied by hosting.

The activity dataset stores no names, email addresses, raw search queries, full referral URLs, IP addresses, or persistent visitor IDs. It uses no analytics cookies or cross-site tracker. These are event counts, rather than a count of unique people. Owner traffic, recognised bot agents, and requests with Do Not Track enabled are excluded.

Use the “Count anonymous activity for this visit” checkbox in the footer to stop sending activity events. This choice lasts for the current page visit and is not saved to device storage.

Feedback

Feedback is sent to the project owner and kept in a private dashboard. No name or contact address is requested. Please avoid including personal information. You can optionally permit an anonymous quotation; without that permission your feedback stays private. The owner can delete feedback when it is no longer needed.

Abuse prevention and hosting

A daily salted hash of the connection address is temporarily used to limit event and feedback requests. These limits are separate from activity records and expire after ten minutes; expired entries are removed on later requests. The application does not retain the raw address. Hosting infrastructure processes normal connection information and may keep operational logs under its own policies.

Owner tools use ChatGPT sign-in managed by hosting. Activity counts are used to improve the explorer and document its adoption. The application sends its activity events only to its own server.

Updated 7 October 2026. Questions can be sent through the feedback form on the catalogue page.