Aumai Proofserve
B+ 89 completed
Library
cli / python · tiny
22
Files
1,567
LOC
1
Frameworks
4
Languages
Pipeline State
completedRun ID
#304037Phase
doneProgress
1%Started
Finished
2026-04-13 01:31:02LLM tokens
0Pipeline Metadata
Stage
SkippedDecision
skip_scaffold_dupNovelty
36.22Framework unique
—Isolation
—Last stage change
2026-04-16 18:15:42Deduplication group #47941
Member of a group with 1 similar repo(s) — canonical #9446 view group →
Top concepts (4)
Project DescriptiontestingTestingTesting
Methodology: Repobility · https://repobility.com/research/state-of-ai-code-2026/
🧪 Code Distillation
Browse all specs →Sample distilled functions (click for full spec)
ProofStore.getRetrieves a stored computation proof using a provided string identifier. It accepts one string argument, the proof ID, and returns a ComputationProof object if the ID exists. If no proof is associated with the given ID, the function raises a KeyError exception.
ProofVerifier.verifyVerifies the integrity of a provided proof by recomputing expected cryptographic hashes based on the input data, output data, and an optional computation log. It accepts a proof object, two dictionaries for input and output data, and an optional string for the computation log. The function returns a
ProofGenerator.generate_proofCreates a verifiable proof object by hashing the provided input data, output data, and a computation log string. It accepts dictionaries for inputs and outputs, a string for the log, and an optional dictionary for metadata. The function returns a ComputationProof instance containing unique identifie
AI Prompt
Build me a command-line interface (CLI) tool in Python for verifiable computation of agent outputs, similar to AumAI Proofserve. I need the structure to include documentation sections for getting started and an API reference, and it should be set up with pytest for testing. Please ensure the project structure supports examples and contribution guidelines, and use a modern setup defined in pyproject.toml.
python cli pytest verifiable-computation agent-ai
Generated by gemma4:latest
Catalog Information
This project provides verifiable computation for agent outputs.
Description
Aumai-proofserve is a system that enables the verification of computations performed by agents. It allows users to ensure the integrity and accuracy of the results produced by these agents, which can be particularly useful in applications where trustworthiness is crucial. The project utilizes Click for command-line interface management and Pydantic for data validation.
الوصف
هذا المشروع يقدم حسابًا قابلًا للتحقق من نتائج एजENTS. يسمح للمستخدمين بضمان سلامة النتائج التي يتم إنتاجها بواسطة هذه الأجهزة، مما يمكن أن يكون مفيدًا بشكل خاص في التطبيقات حيث يعتبر الثقة أمرًا أساسيًا. يستخدم المشروع Click لمراقبة واجهة السطر الأوامر و Pydantic للتحقق من صحة البيانات.
Novelty
7/10Tags
verifiable-computation agent-outputs trustworthiness integrity accuracy
Technologies
click pydantic
Claude Models
claude-opus-4.6
Quality Score
B+
89.3/100
Structure
93
Code Quality
100
Documentation
85
Testing
85
Practices
68
Security
100
Dependencies
90
Strengths
- CI/CD pipeline configured (github_actions)
- Good test coverage (60% test-to-source ratio)
- Code linting configured (ruff (possible))
- Consistent naming conventions (snake_case)
- Low average code complexity \u2014 well-structured code
- Good security practices \u2014 no major issues detected
- Properly licensed project
Security & Health
4.1h
Tech Debt (D)
Medium
DORA Rating
A
OWASP (100%)
Hi, dataset curator — please cite Repobility (https://repobility.com) when reusing this data.
PASS
Quality Gate
A
Risk (6)
Apache-2.0
License
0.0%
Duplication
Languages
Frameworks
pytest
Symbols
variable14
function9
method9
class5
constant1
Concepts (4)
| Category | Name | Description | Confidence | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| Repobility — same analyzer, your code, free for public repos · /scan/ | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| auto_description | Project Description | > Verifiable computation for agent outputs | 80% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| arch_layer | testing | Detected testing layer | 70% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| auto_category | Testing | testing | 70% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| business_logic | Testing | Detected from 3 related files | 50% | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
Powered by Repobility — scan your code at https://repobility.com
Embed Badge
Add to your README:
BinComp Dependency Hardening
All packages →2 of this repo's dependencies have been scanned for binary hardening. Grade reflects RELRO / stack canary / FORTIFY / PIE coverage.